0.01/0.07
0.01/0.07 Abscon 112 (May, 2008)
0.10/0.20
0.10/0.20 configuration
0.10/0.20 name=esac.xml
0.22/0.23
0.22/0.23 instance
0.22/0.23 name=HOME/instance-2093238-1247401147.xml
0.22/0.26
0.22/0.26 domains being loaded...
0.22/0.27
0.22/0.27 variables being loaded...
0.34/0.35 nbVariables=625 nbDomainTypes=26 minDomainSize=1 maxDomainSize=25 nbTotalValues=6265
0.34/0.35 => wckTime=0.146 cpuTime=0.14 mem=9M842
0.34/0.35
0.34/0.35 relations being loaded...
0.34/0.35
0.34/0.35 constraints being loaded...
1.29/1.20 nbConstraints=9326 nbRelationTypes=26 nbGlobalConstraints=26 nbSingletonDomainVariables=390
1.29/1.20 nbExtensionStructures=51 nbSharedExtensionStructures=9249 nbConflictsStructures=51
1.29/1.20 nbSharedConflictsStructures=9249 nbSharedBinaryRepresentations=1323 minDegree=18 maxDegree=49 minArity=2
1.29/1.20 avgArity=2.02 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.357 symmetryCpuTime=0.22 nbCliques=26
1.29/1.20 => wckTime=0.998 cpuTime=0.77 mem=23M144
1.52/1.31
1.52/1.31 solver IterativeSystematicSolver being built...
1.52/1.37
1.52/1.37 INFO : Forward propagation technique limited
1.64/1.45 => wckTime=1.252 cpuTime=0.92 mem=31M107
2.57/2.37
2.57/2.37 preprocessing
2.57/2.37 nbConstraintChecks=244235 nbPropagations=5897 nbRevisions=63362 nbUselessRevisions=54571 nbSingletonTests=1714
2.57/2.37 nbEffectiveSingletonTests=1 nbACRemovals=4925 nbFoundSingletons=0 nbRemovedValues=4926 detectedInconsistency=no
2.57/2.37 => wckTime=0.912 cpuTime=0.91 mem=32M106
2.88/2.63
2.88/2.63 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=34M145)
1415.53/1428.56
1415.53/1428.56 search
1415.53/1428.56 run=25 nbConstraintChecks=1126957791 minDepth=31 maxDepth=625 nbPropagations=111469474 nbRevisions=2734087066
1415.53/1428.56 nbUselessRevisions=2557063449 nbAssignments=3879171 nbFailedAssignments=592976 nbBacktracks=3283841
1415.53/1428.56 nbVisitedNodes=5110014 nbRestartNogoods=209 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=390
1415.53/1428.56 nbIEliminables=194.68 nbDEliminables=0 nbPEliminables=0
1415.53/1428.56 => wckTime=1427.106 cpuTime=1413.7 mem=57M416
1415.53/1428.56
1415.53/1428.56 global
1415.53/1428.56 nbConstraintChecks=1127202026 nbPropagations=111475371 nbRevisions=2734150428 nbUselessRevisions=2557118020
1415.53/1428.56 nbRestartNogoods=209 solvingWckTime=1427.108 solvingCpuTime=1413.71 expiredTime=no totalExploration=no
1415.53/1428.56 nbFoundSolutions=1 firstSolutionCpuTime=1414.61 globalCpuTime=1414.67
1415.53/1428.56 => wckTime=1428.363 cpuTime=1414.63 mem=57M416
1415.53/1428.56
1415.53/1428.56 s SATISFIABLE
1415.53/1428.56 v 4 18 8 24 15 10 23 21 11 0 1 2 6 16 3 22 19 14 12 5 20 17 13 9 7 24 7 5 13 21 19 1 2 4 20 0 15 8 6 17 3 11 10 16 22 18 9 12 14 23 19 0 4 22 17 2 6 12 10 24 13 16 14 8 20 9 5 21 1 15 7 11 18 23 3 17 4 2 16 11 24 8 14 6 7 20 19 10 1 23 12 0 5 13 18 3 22 15 21 9 10 19 6 3 20 13 5 7 2 22 17 11 18 12 14 16 1 9 4 8 23 24 21 0 15 18 8 21 6 5 9 13 0 20 14 23 10 12 24 22 7 15 2 11 16 4 1 17 3 19 15 12 14 9 24 11 22 5 8 19 6 17 4 0 1 21 16 18 7 23 13 3 10 20 2 20 2 18 10 13 0 4 8 3 15 14 23 17 9 12 1 6 24 19 7 11 5 16 22 21 8 3 22 11 2 16 17 6 0 4 10 21 23 7 24 19 18 12 9 14 15 13 1 5 20 23 5 10 7 0 14 2 13 21 9 11 3 1 19 16 15 20 17 22 12 24 8 4 18 6 13 6 0 12 14 20 24 4 15 10 22 9 5 2 21 18 7 8 23 3 17 19 11 1 16 14 17 12 21 8 22 15 23 18 6 24 1 9 3 2 13 10 16 5 11 19 7 20 4 0 22 1 13 20 3 18 14 16 17 23 21 24 15 5 7 0 12 11 10 6 9 2 19 8 4 21 22 3 17 16 12 20 9 7 18 19 13 2 14 15 23 8 1 0 4 10 6 5 24 11 5 15 16 4 22 8 19 24 23 1 7 0 21 20 9 11 14 13 17 2 6 12 3 10 18 16 13 20 18 6 5 11 19 14 12 9 7 22 4 10 17 21 3 8 0 1 23 2 15 24 0 9 7 14 19 6 10 15 1 11 3 20 13 23 18 8 17 4 21 24 12 16 22 2 5 1 21 15 23 9 7 18 10 16 5 12 4 24 11 13 6 3 22 20 17 2 0 8 19 14 11 20 24 19 4 17 21 22 12 3 5 14 16 18 6 2 9 23 15 13 8 10 0 7 1 9 14 23 2 10 3 16 11 24 8 15 12 7 21 0 4 22 19 18 1 5 20 6 13 17 12 16 1 15 7 23 9 3 22 13 2 5 11 10 19 24 4 20 6 21 0 18 14 17 8 7 23 19 5 18 1 3 20 13 21 8 22 0 17 11 14 2 15 24 10 16 4 9 6 12 3 10 11 1 12 15 7 18 5 17 4 6 19 13 8 20 23 0 2 9 14 21 24 16 22 2 24 17 0 23 21 12 1 9 16 18 8 20 15 4 5 13 6 3 19 22 14 7 11 10 6 11 9 8 1 4 0 17 19 2 16 18 3 22 5 10 24 7 14 20 21 15 23 12 13
1415.53/1428.56 d NODES 3879171
1415.53/1428.56 d CHECKS 1127202026
1415.53/1428.57
1415.53/1428.57 totalWckTime=1428.408 totalCpuTime=1414.67
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093238-1247401147/watcher-2093238-1247401147 -o /tmp/evaluation-result-2093238-1247401147/solver-2093238-1247401147 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2093238-1247401147.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 29098
/proc/meminfo: memFree=1853456/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=152 CPUtime=0
/proc/29098/stat : 29098 (java) R 29096 29098 28929 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 27178788 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 12219172 0 0 4096 0 0 0 0 17 0 0 0
/proc/29098/statm: 38 26 19 9 0 4 0
[startup+0.0205359 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 29098
/proc/meminfo: memFree=1853456/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=860772 CPUtime=0.01
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 1615 0 1 0 0 1 0 0 18 0 2 0 27178788 881430528 1332 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 215193 1335 529 9 0 210108 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 860772
[startup+0.101547 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 29098
/proc/meminfo: memFree=1853456/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=866844 CPUtime=0.1
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 4061 0 1 0 8 2 0 0 18 0 9 0 27178788 887648256 3490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 216711 3490 1805 9 0 211196 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 866844
[startup+0.30156 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 29098
/proc/meminfo: memFree=1853456/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=867076 CPUtime=0.34
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 6632 0 1 0 30 4 0 0 18 0 9 0 27178788 887885824 5994 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 216769 5994 1995 9 0 211227 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 867076
[startup+0.701582 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 29098
/proc/meminfo: memFree=1853456/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=868100 CPUtime=0.87
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 16279 0 1 0 78 9 0 0 18 0 9 0 27178788 888934400 15632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 217025 15633 2017 9 0 211483 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 868100
[startup+1.50265 s]
/proc/loadavg: 0.00 0.00 0.03 2/78 29109
/proc/meminfo: memFree=1784952/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=868564 CPUtime=1.76
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 31205 707 1 0 149 15 11 1 18 0 9 0 27178788 889409536 21430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 217141 21430 2660 9 0 211577 0
[pid=29098/tid=29100] ppid=29096 vsize=868564 CPUtime=1.27
/proc/29098/task/29100/stat : 29100 (java) R 29096 29098 28929 0 -1 64 21870 707 1 0 104 11 11 1 18 0 9 0 27178789 889409536 21430 996147200 134512640 134550932 4294955968 18446744073709551615 4125925063 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29101] ppid=29096 vsize=868564 CPUtime=0.31
/proc/29098/task/29101/stat : 29101 (java) S 29096 29098 28929 0 -1 64 7560 707 0 0 17 2 11 1 16 0 9 0 27178791 889409536 21430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29102] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29102/stat : 29102 (java) S 29096 29098 28929 0 -1 64 20 707 0 0 0 0 11 1 15 0 9 0 27178791 889409536 21430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29103] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29103/stat : 29103 (java) S 29096 29098 28929 0 -1 64 9 707 0 0 0 0 11 1 15 0 9 0 27178791 889409536 21430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29104] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29104/stat : 29104 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 24 0 9 0 27178793 889409536 21430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29105] ppid=29096 vsize=868564 CPUtime=0.38
/proc/29098/task/29105/stat : 29105 (java) S 29096 29098 28929 0 -1 64 913 707 0 0 26 0 11 1 16 0 9 0 27178793 889409536 21430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29106] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29106/stat : 29106 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 25 0 9 0 27178793 889409536 21430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29107] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29107/stat : 29107 (java) S 29096 29098 28929 0 -1 64 13 707 0 0 0 0 11 1 15 0 9 0 27178793 889409536 21430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 868564
[startup+3.10275 s]
/proc/loadavg: 0.00 0.00 0.03 2/76 29111
/proc/meminfo: memFree=1777472/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=868564 CPUtime=3.4
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 32040 707 1 0 313 15 11 1 18 0 9 0 27178788 889409536 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 217141 21487 2660 9 0 211577 0
[pid=29098/tid=29100] ppid=29096 vsize=868564 CPUtime=2.85
/proc/29098/task/29100/stat : 29100 (java) R 29096 29098 28929 0 -1 64 22652 707 1 0 262 11 11 1 25 0 9 0 27178789 889409536 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4127165585 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29101] ppid=29096 vsize=868564 CPUtime=0.31
/proc/29098/task/29101/stat : 29101 (java) S 29096 29098 28929 0 -1 64 7561 707 0 0 17 2 11 1 17 0 9 0 27178791 889409536 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29102] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29102/stat : 29102 (java) S 29096 29098 28929 0 -1 64 20 707 0 0 0 0 11 1 15 0 9 0 27178791 889409536 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29103] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29103/stat : 29103 (java) S 29096 29098 28929 0 -1 64 9 707 0 0 0 0 11 1 15 0 9 0 27178791 889409536 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29104] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29104/stat : 29104 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 24 0 9 0 27178793 889409536 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29105] ppid=29096 vsize=868564 CPUtime=0.44
/proc/29098/task/29105/stat : 29105 (java) S 29096 29098 28929 0 -1 64 965 707 0 0 32 0 11 1 16 0 9 0 27178793 889409536 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29106] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29106/stat : 29106 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 25 0 9 0 27178793 889409536 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29107] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29107/stat : 29107 (java) S 29096 29098 28929 0 -1 64 13 707 0 0 0 0 11 1 15 0 9 0 27178793 889409536 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 868564
[startup+6.30196 s]
/proc/loadavg: 0.08 0.02 0.04 3/89 29133
/proc/meminfo: memFree=1738136/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=868564 CPUtime=6.57
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 33680 707 1 0 629 16 11 1 18 0 9 0 27178788 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 217141 21494 2660 9 0 211577 0
[pid=29098/tid=29100] ppid=29096 vsize=868564 CPUtime=6.01
/proc/29098/task/29100/stat : 29100 (java) R 29096 29098 28929 0 -1 64 24263 707 1 0 577 12 11 1 25 0 9 0 27178789 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4126655262 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29101] ppid=29096 vsize=868564 CPUtime=0.31
/proc/29098/task/29101/stat : 29101 (java) S 29096 29098 28929 0 -1 64 7561 707 0 0 17 2 11 1 17 0 9 0 27178791 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29102] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29102/stat : 29102 (java) S 29096 29098 28929 0 -1 64 20 707 0 0 0 0 11 1 15 0 9 0 27178791 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29103] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29103/stat : 29103 (java) S 29096 29098 28929 0 -1 64 9 707 0 0 0 0 11 1 15 0 9 0 27178791 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29104] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29104/stat : 29104 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 24 0 9 0 27178793 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29105] ppid=29096 vsize=868564 CPUtime=0.45
/proc/29098/task/29105/stat : 29105 (java) S 29096 29098 28929 0 -1 64 973 707 0 0 33 0 11 1 16 0 9 0 27178793 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29106] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29106/stat : 29106 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 25 0 9 0 27178793 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29107] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29107/stat : 29107 (java) S 29096 29098 28929 0 -1 64 34 707 0 0 0 0 11 1 15 0 9 0 27178793 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (KiB) 868564
[startup+12.7014 s]
/proc/loadavg: 0.23 0.05 0.05 3/89 29133
/proc/meminfo: memFree=1737696/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=868564 CPUtime=12.91
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 37149 707 1 0 1262 17 11 1 18 0 9 0 27178788 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 217141 21494 2660 9 0 211577 0
[pid=29098/tid=29100] ppid=29096 vsize=868564 CPUtime=12.35
/proc/29098/task/29100/stat : 29100 (java) R 29096 29098 28929 0 -1 64 27732 707 1 0 1210 13 11 1 25 0 9 0 27178789 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4127146057 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29101] ppid=29096 vsize=868564 CPUtime=0.31
/proc/29098/task/29101/stat : 29101 (java) S 29096 29098 28929 0 -1 64 7561 707 0 0 17 2 11 1 16 0 9 0 27178791 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29102] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29102/stat : 29102 (java) S 29096 29098 28929 0 -1 64 20 707 0 0 0 0 11 1 15 0 9 0 27178791 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29103] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29103/stat : 29103 (java) S 29096 29098 28929 0 -1 64 9 707 0 0 0 0 11 1 15 0 9 0 27178791 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29104] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29104/stat : 29104 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 24 0 9 0 27178793 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29105] ppid=29096 vsize=868564 CPUtime=0.45
/proc/29098/task/29105/stat : 29105 (java) S 29096 29098 28929 0 -1 64 973 707 0 0 33 0 11 1 16 0 9 0 27178793 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29106] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29106/stat : 29106 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 25 0 9 0 27178793 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29107] ppid=29096 vsize=868564 CPUtime=0.12
/proc/29098/task/29107/stat : 29107 (java) S 29096 29098 28929 0 -1 64 34 707 0 0 0 0 11 1 15 0 9 0 27178793 889409536 21494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.91
Current children cumulated vsize (KiB) 868564
[startup+25.5022 s]
/proc/loadavg: 0.69 0.16 0.08 3/89 29133
/proc/meminfo: memFree=1733152/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=868476 CPUtime=25.6
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 39178 707 1 0 2530 18 11 1 18 0 9 0 27178788 889319424 22572 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 217119 22572 2638 9 0 211577 0
[pid=29098/tid=29100] ppid=29096 vsize=868476 CPUtime=25.02
/proc/29098/task/29100/stat : 29100 (java) R 29096 29098 28929 0 -1 64 28658 707 1 0 2477 13 11 1 25 0 9 0 27178789 889319424 22572 996147200 134512640 134550932 4294955968 18446744073709551615 4126382381 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29101] ppid=29096 vsize=868476 CPUtime=0.32
/proc/29098/task/29101/stat : 29101 (java) S 29096 29098 28929 0 -1 64 8663 707 0 0 18 2 11 1 16 0 9 0 27178791 889319424 22572 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29102] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29102/stat : 29102 (java) S 29096 29098 28929 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 22572 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29103] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29103/stat : 29103 (java) S 29096 29098 28929 0 -1 64 10 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 22572 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29104] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29104/stat : 29104 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 24 0 9 0 27178793 889319424 22572 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29105] ppid=29096 vsize=868476 CPUtime=0.46
/proc/29098/task/29105/stat : 29105 (java) S 29096 29098 28929 0 -1 64 973 707 0 0 34 0 11 1 16 0 9 0 27178793 889319424 22572 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29106] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29106/stat : 29106 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 25 0 9 0 27178793 889319424 22572 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29107] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29107/stat : 29107 (java) S 29096 29098 28929 0 -1 64 34 707 0 0 0 0 11 1 15 0 9 0 27178793 889319424 22572 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 868476
[startup+51.1029 s]
/proc/loadavg: 1.27 0.34 0.14 3/89 29133
/proc/meminfo: memFree=1728672/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=868476 CPUtime=50.95
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 40288 707 1 0 5065 18 11 1 18 0 9 0 27178788 889319424 23675 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 217119 23675 2638 9 0 211577 0
[pid=29098/tid=29100] ppid=29096 vsize=868476 CPUtime=50.36
/proc/29098/task/29100/stat : 29100 (java) R 29096 29098 28929 0 -1 64 28660 707 1 0 5011 13 11 1 25 0 9 0 27178789 889319424 23675 996147200 134512640 134550932 4294955968 18446744073709551615 4126655448 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29101] ppid=29096 vsize=868476 CPUtime=0.34
/proc/29098/task/29101/stat : 29101 (java) S 29096 29098 28929 0 -1 64 9769 707 0 0 19 3 11 1 16 0 9 0 27178791 889319424 23675 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29102] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29102/stat : 29102 (java) S 29096 29098 28929 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23675 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29103] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29103/stat : 29103 (java) S 29096 29098 28929 0 -1 64 10 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23675 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29104] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29104/stat : 29104 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 24 0 9 0 27178793 889319424 23675 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29105] ppid=29096 vsize=868476 CPUtime=0.46
/proc/29098/task/29105/stat : 29105 (java) S 29096 29098 28929 0 -1 64 975 707 0 0 34 0 11 1 16 0 9 0 27178793 889319424 23675 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29106] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29106/stat : 29106 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 25 0 9 0 27178793 889319424 23675 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=29098/tid=29100] ppid=29096 vsize=868476 CPUtime=1408.72
/proc/29098/task/29100/stat : 29100 (java) R 29096 29098 28929 0 -1 64 28722 707 1 0 140845 15 11 1 25 0 9 0 27178789 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4127144659 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29101] ppid=29096 vsize=868476 CPUtime=0.4
/proc/29098/task/29101/stat : 29101 (java) S 29096 29098 28929 0 -1 64 9780 707 0 0 25 3 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29102] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29102/stat : 29102 (java) S 29096 29098 28929 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29103] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29103/stat : 29103 (java) S 29096 29098 28929 0 -1 64 10 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29104] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29104/stat : 29104 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 24 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29105] ppid=29096 vsize=868476 CPUtime=0.46
/proc/29098/task/29105/stat : 29105 (java) S 29096 29098 28929 0 -1 64 976 707 0 0 34 0 11 1 16 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29106] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29106/stat : 29106 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 25 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29107] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29107/stat : 29107 (java) S 29096 29098 28929 0 -1 64 34 707 0 0 0 0 11 1 15 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1409.39
Current children cumulated vsize (KiB) 868476
Solver just ended. Dumping a history of the last processes samples
[startup+1423.9 s]
/proc/loadavg: 2.00 1.97 1.55 3/89 29133
/proc/meminfo: memFree=1727648/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=868476 CPUtime=1410.97
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 40362 707 1 0 141064 21 11 1 18 0 9 0 27178788 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 217119 23684 2638 9 0 211577 0
[pid=29098/tid=29100] ppid=29096 vsize=868476 CPUtime=1410.3
/proc/29098/task/29100/stat : 29100 (java) R 29096 29098 28929 0 -1 64 28722 707 1 0 141003 15 11 1 25 0 9 0 27178789 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4127139807 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29101] ppid=29096 vsize=868476 CPUtime=0.4
/proc/29098/task/29101/stat : 29101 (java) S 29096 29098 28929 0 -1 64 9780 707 0 0 25 3 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29102] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29102/stat : 29102 (java) S 29096 29098 28929 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29103] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29103/stat : 29103 (java) S 29096 29098 28929 0 -1 64 10 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29104] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29104/stat : 29104 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 24 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29105] ppid=29096 vsize=868476 CPUtime=0.46
/proc/29098/task/29105/stat : 29105 (java) S 29096 29098 28929 0 -1 64 976 707 0 0 34 0 11 1 16 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29106] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29106/stat : 29106 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 25 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29107] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29107/stat : 29107 (java) S 29096 29098 28929 0 -1 64 34 707 0 0 0 0 11 1 15 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1410.97
Current children cumulated vsize (KiB) 868476
[startup+1427.1 s]
/proc/loadavg: 2.00 1.97 1.55 3/89 29133
/proc/meminfo: memFree=1727648/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=868476 CPUtime=1414.14
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 40362 707 1 0 141381 21 11 1 18 0 9 0 27178788 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 217119 23684 2638 9 0 211577 0
[pid=29098/tid=29100] ppid=29096 vsize=868476 CPUtime=1413.47
/proc/29098/task/29100/stat : 29100 (java) R 29096 29098 28929 0 -1 64 28722 707 1 0 141320 15 11 1 25 0 9 0 27178789 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4127242140 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29101] ppid=29096 vsize=868476 CPUtime=0.4
/proc/29098/task/29101/stat : 29101 (java) S 29096 29098 28929 0 -1 64 9780 707 0 0 25 3 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29102] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29102/stat : 29102 (java) S 29096 29098 28929 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29103] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29103/stat : 29103 (java) S 29096 29098 28929 0 -1 64 10 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29104] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29104/stat : 29104 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 24 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29105] ppid=29096 vsize=868476 CPUtime=0.46
/proc/29098/task/29105/stat : 29105 (java) S 29096 29098 28929 0 -1 64 976 707 0 0 34 0 11 1 16 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29106] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29106/stat : 29106 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 25 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29107] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29107/stat : 29107 (java) S 29096 29098 28929 0 -1 64 34 707 0 0 0 0 11 1 15 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1414.14
Current children cumulated vsize (KiB) 868476
[startup+1427.9 s]
/proc/loadavg: 2.00 1.97 1.55 3/89 29133
/proc/meminfo: memFree=1727648/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=868476 CPUtime=1414.94
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 40362 707 1 0 141461 21 11 1 18 0 9 0 27178788 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 217119 23684 2638 9 0 211577 0
[pid=29098/tid=29100] ppid=29096 vsize=868476 CPUtime=1414.26
/proc/29098/task/29100/stat : 29100 (java) R 29096 29098 28929 0 -1 64 28722 707 1 0 141399 15 11 1 25 0 9 0 27178789 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4127141507 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29101] ppid=29096 vsize=868476 CPUtime=0.4
/proc/29098/task/29101/stat : 29101 (java) S 29096 29098 28929 0 -1 64 9780 707 0 0 25 3 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29102] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29102/stat : 29102 (java) S 29096 29098 28929 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29103] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29103/stat : 29103 (java) S 29096 29098 28929 0 -1 64 10 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29104] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29104/stat : 29104 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 24 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29105] ppid=29096 vsize=868476 CPUtime=0.46
/proc/29098/task/29105/stat : 29105 (java) S 29096 29098 28929 0 -1 64 976 707 0 0 34 0 11 1 16 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29106] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29106/stat : 29106 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 25 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29107] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29107/stat : 29107 (java) S 29096 29098 28929 0 -1 64 34 707 0 0 0 0 11 1 15 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1414.94
Current children cumulated vsize (KiB) 868476
[startup+1428.3 s]
/proc/loadavg: 2.00 1.97 1.55 3/89 29133
/proc/meminfo: memFree=1727648/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=868476 CPUtime=1415.33
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 40362 707 1 0 141500 21 11 1 18 0 9 0 27178788 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 217119 23684 2638 9 0 211577 0
[pid=29098/tid=29100] ppid=29096 vsize=868476 CPUtime=1414.66
/proc/29098/task/29100/stat : 29100 (java) R 29096 29098 28929 0 -1 64 28722 707 1 0 141439 15 11 1 25 0 9 0 27178789 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4127241171 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29101] ppid=29096 vsize=868476 CPUtime=0.4
/proc/29098/task/29101/stat : 29101 (java) S 29096 29098 28929 0 -1 64 9780 707 0 0 25 3 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29102] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29102/stat : 29102 (java) S 29096 29098 28929 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29103] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29103/stat : 29103 (java) S 29096 29098 28929 0 -1 64 10 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29104] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29104/stat : 29104 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 24 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29105] ppid=29096 vsize=868476 CPUtime=0.46
/proc/29098/task/29105/stat : 29105 (java) S 29096 29098 28929 0 -1 64 976 707 0 0 34 0 11 1 16 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29106] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29106/stat : 29106 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 25 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29107] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29107/stat : 29107 (java) S 29096 29098 28929 0 -1 64 34 707 0 0 0 0 11 1 15 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1415.33
Current children cumulated vsize (KiB) 868476
[startup+1428.5 s]
/proc/loadavg: 2.00 1.97 1.55 3/89 29133
/proc/meminfo: memFree=1727648/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=868476 CPUtime=1415.53
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 40362 707 1 0 141520 21 11 1 18 0 9 0 27178788 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 217119 23684 2638 9 0 211577 0
[pid=29098/tid=29100] ppid=29096 vsize=868476 CPUtime=1414.86
/proc/29098/task/29100/stat : 29100 (java) R 29096 29098 28929 0 -1 64 28722 707 1 0 141459 15 11 1 25 0 9 0 27178789 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4127139828 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29101] ppid=29096 vsize=868476 CPUtime=0.4
/proc/29098/task/29101/stat : 29101 (java) S 29096 29098 28929 0 -1 64 9780 707 0 0 25 3 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29102] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29102/stat : 29102 (java) S 29096 29098 28929 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29103] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29103/stat : 29103 (java) S 29096 29098 28929 0 -1 64 10 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29104] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29104/stat : 29104 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 24 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29105] ppid=29096 vsize=868476 CPUtime=0.46
/proc/29098/task/29105/stat : 29105 (java) S 29096 29098 28929 0 -1 64 976 707 0 0 34 0 11 1 16 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29106] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29106/stat : 29106 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 25 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29107] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29107/stat : 29107 (java) S 29096 29098 28929 0 -1 64 34 707 0 0 0 0 11 1 15 0 9 0 27178793 889319424 23684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1415.53
Current children cumulated vsize (KiB) 868476
[startup+1428.6 s]
/proc/loadavg: 2.00 1.97 1.55 3/89 29133
/proc/meminfo: memFree=1727648/2055920 swapFree=4192812/4192956
[pid=29098] ppid=29096 vsize=868476 CPUtime=1415.6
/proc/29098/stat : 29098 (java) S 29096 29098 28929 0 -1 0 40369 707 1 0 141526 22 11 1 18 0 9 0 27178788 889319424 23689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29098/statm: 217119 23689 2638 9 0 211577 0
[pid=29098/tid=29100] ppid=29096 vsize=868476 CPUtime=1414.93
/proc/29098/task/29100/stat : 29100 (java) S 29096 29098 28929 0 -1 64 28726 707 1 0 141465 16 11 1 24 0 9 0 27178789 889319424 23689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29101] ppid=29096 vsize=868476 CPUtime=0.4
/proc/29098/task/29101/stat : 29101 (java) S 29096 29098 28929 0 -1 64 9780 707 0 0 25 3 11 1 16 0 9 0 27178791 889319424 23689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29102] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29102/stat : 29102 (java) S 29096 29098 28929 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29103] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29103/stat : 29103 (java) S 29096 29098 28929 0 -1 64 10 707 0 0 0 0 11 1 16 0 9 0 27178791 889319424 23689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29104] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29104/stat : 29104 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 24 0 9 0 27178793 889319424 23689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29105] ppid=29096 vsize=868476 CPUtime=0.47
/proc/29098/task/29105/stat : 29105 (java) S 29096 29098 28929 0 -1 64 979 707 0 0 35 0 11 1 16 0 9 0 27178793 889319424 23689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29098/tid=29106] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29106/stat : 29106 (java) S 29096 29098 28929 0 -1 64 1 707 0 0 0 0 11 1 25 0 9 0 27178793 889319424 23689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29098/tid=29107] ppid=29096 vsize=868476 CPUtime=0.12
/proc/29098/task/29107/stat : 29107 (java) S 29096 29098 28929 0 -1 64 34 707 0 0 0 0 11 1 15 0 9 0 27178793 889319424 23689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1415.6
Current children cumulated vsize (KiB) 868476
Child status: 0
Real time (s): 1428.63
CPU time (s): 1415.63
CPU user time (s): 1415.38
CPU system time (s): 0.251961
CPU usage (%): 99.09
Max. virtual memory (cumulated for all children) (KiB): 872572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1415.38
system time used= 0.251961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41103
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29897
involuntary context switches= 59044
runsolver used 2.14367 second user time and 4.35834 second system time
The end
Begin job on node39 at 2009-07-12 14:19:07
IDJOB=2093238
IDBENCH=53457
IDSOLVER=774
FILE ID=node39/2093238-1247401147
PBS_JOBID= 9510566
Free space on /tmp= 66432 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/QWH-25/normalized-qwh-25-235-8_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2093238-1247401147/watcher-2093238-1247401147 -o /tmp/evaluation-result-2093238-1247401147/solver-2093238-1247401147 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2093238-1247401147.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 36e7948d4eb9ec3ba95226d8041bc346
RANDOM SEED=1777465953
node39.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1854000 kB
Buffers: 28952 kB
Cached: 94332 kB
SwapCached: 0 kB
Active: 95504 kB
Inactive: 43088 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1854000 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2896 kB
Writeback: 0 kB
Mapped: 25124 kB
Slab: 49152 kB
Committed_AS: 159304 kB
PageTables: 1592 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66428 MiB
End job on node39 at 2009-07-12 14:42:56