0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.19/0.26
0.19/0.26 configuration
0.19/0.26 name=esac.xml
0.29/0.30
0.29/0.30 instance
0.29/0.30 name=HOME/instance-2099178-1247417637.xml
0.29/0.34
0.29/0.34 domains being loaded...
0.29/0.35
0.29/0.35 variables being loaded...
0.29/0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180 nbTotalValues=7200
0.29/0.38 => wckTime=0.116 cpuTime=0.11 mem=7M892
0.29/0.38
0.29/0.38 relations being loaded...
0.68/0.70
0.68/0.70 constraints being loaded...
0.88/0.90 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.88/0.90 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 minDegree=1 maxDegree=8
0.88/0.90 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.042 symmetryCpuTime=0.02
0.88/0.90 => wckTime=0.64 cpuTime=0.57 mem=41M341
0.97/1.02
0.97/1.03 solver IterativeSystematicSolver being built...
1.09/1.15 => wckTime=0.888 cpuTime=0.69 mem=28M663
1.18/1.24
1.18/1.24 preprocessing
1.18/1.24 nbConstraintChecks=649531 nbPropagations=1229 nbRevisions=4913 nbUselessRevisions=2690 nbSingletonTests=56
1.18/1.24 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
1.18/1.24 => wckTime=0.086 cpuTime=0.08 mem=29M628
1.78/1.88
1.78/1.88 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M608)
588.40/589.03
588.40/589.03 search
588.40/589.03 run=25 nbConstraintChecks=10372804307 minDepth=0 maxDepth=6 nbPropagations=79373769 nbRevisions=359964885
588.40/589.03 nbUselessRevisions=164799582 nbAssignments=781762 nbFailedAssignments=634429 nbInferredBacktracks=7
588.40/589.03 nbBacktracks=147251 nbVisitedNodes=1543792 nbRestartNogoods=621 nbSEliminables=3.38 nbREliminables=6.96
588.40/589.03 nbIEliminables=18.14 nbDEliminables=0 nbPEliminables=0
588.40/589.03 => wckTime=587.873 cpuTime=587.21 mem=30M608
588.40/589.03
588.40/589.03 global
588.40/589.03 nbConstraintChecks=10373453838 nbPropagations=79374998 nbRevisions=359969798 nbUselessRevisions=164802272
588.40/589.03 nbRestartNogoods=621 solvingWckTime=587.876 solvingCpuTime=587.21 expiredTime=no totalExploration=yes
588.40/589.03 nbFoundSolutions=0 globalCpuTime=587.94
588.40/589.03 => wckTime=588.769 cpuTime=587.9 mem=30M608
588.40/589.03
588.40/589.03 s UNSATISFIABLE
588.40/589.03 d NODES 781762
588.40/589.03 d CHECKS 10373453838
588.40/589.04
588.40/589.04 totalWckTime=588.84 totalCpuTime=587.94
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2099178-1247417637/watcher-2099178-1247417637 -o /tmp/evaluation-result-2099178-1247417637/solver-2099178-1247417637 -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-2099178-1247417637.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: 2.15 2.10 2.03 3/80 2965
/proc/meminfo: memFree=1517928/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=18576 CPUtime=0
/proc/2965/stat : 2965 (runsolver) R 2963 2965 2694 0 -1 4194368 16 0 0 0 0 0 0 0 22 0 1 0 28827175 19021824 285 996147200 4194304 4302564 548682068384 18446744073709551615 246406507815 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2965/statm: 4644 285 249 26 0 2626 0
[startup+0.0597179 s]
/proc/loadavg: 2.15 2.10 2.03 3/80 2965
/proc/meminfo: memFree=1517928/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=863936 CPUtime=0.04
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 2640 0 1 0 3 1 0 0 18 0 9 0 28827175 884670464 2205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 215984 2205 1028 9 0 210899 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863936
[startup+0.101361 s]
/proc/loadavg: 2.15 2.10 2.03 3/80 2965
/proc/meminfo: memFree=1517928/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=865984 CPUtime=0.09
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 3733 0 1 0 7 2 0 0 18 0 9 0 28827175 886767616 3201 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 216496 3201 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301383 s]
/proc/loadavg: 2.15 2.10 2.03 3/80 2965
/proc/meminfo: memFree=1517928/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=866380 CPUtime=0.29
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 5820 0 1 0 25 4 0 0 18 0 9 0 28827175 887173120 5196 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 216595 5196 1976 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701422 s]
/proc/loadavg: 2.15 2.10 2.03 3/80 2965
/proc/meminfo: memFree=1517928/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=866492 CPUtime=0.68
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 12686 0 1 0 61 7 0 0 18 0 9 0 28827175 887287808 12048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 216623 12048 1998 9 0 211081 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866492
[startup+1.5025 s]
/proc/loadavg: 2.15 2.10 2.03 5/91 2978
/proc/meminfo: memFree=1465936/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=868508 CPUtime=1.48
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 26096 270 1 0 135 13 0 0 18 0 9 0 28827175 889352192 17194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 217127 17194 2656 9 0 211563 0
[pid=2965/tid=2967] ppid=2963 vsize=868508 CPUtime=1.19
/proc/2965/task/2967/stat : 2967 (java) R 2963 2965 2694 0 -1 64 17705 270 1 0 110 9 0 0 19 0 9 0 28827177 889352192 17194 996147200 134512640 134550932 4294955968 18446744073709551615 4126769660 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2968] ppid=2963 vsize=868508 CPUtime=0.1
/proc/2965/task/2968/stat : 2968 (java) S 2963 2965 2694 0 -1 64 7031 270 0 0 8 2 0 0 17 0 9 0 28827178 889352192 17194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2969] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2969/stat : 2969 (java) S 2963 2965 2694 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28827178 889352192 17194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2970] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2970/stat : 2970 (java) S 2963 2965 2694 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28827179 889352192 17194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2971] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2971/stat : 2971 (java) S 2963 2965 2694 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28827181 889352192 17194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2972] ppid=2963 vsize=868508 CPUtime=0.16
/proc/2965/task/2972/stat : 2972 (java) S 2963 2965 2694 0 -1 64 515 270 0 0 16 0 0 0 15 0 9 0 28827181 889352192 17194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2973] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2973/stat : 2973 (java) S 2963 2965 2694 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28827181 889352192 17194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2974] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2974/stat : 2974 (java) S 2963 2965 2694 0 -1 64 11 270 0 0 0 0 0 0 15 0 9 0 28827181 889352192 17194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 868508
[startup+3.10264 s]
/proc/loadavg: 2.14 2.10 2.03 3/89 2978
/proc/meminfo: memFree=1459160/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=868508 CPUtime=3.07
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 26120 270 1 0 294 13 0 0 18 0 9 0 28827175 889352192 17216 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 217127 17216 2656 9 0 211563 0
[pid=2965/tid=2967] ppid=2963 vsize=868508 CPUtime=2.75
/proc/2965/task/2967/stat : 2967 (java) R 2963 2965 2694 0 -1 64 17707 270 1 0 266 9 0 0 17 0 9 0 28827177 889352192 17216 996147200 134512640 134550932 4294955968 18446744073709551615 4126794329 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2968] ppid=2963 vsize=868508 CPUtime=0.1
/proc/2965/task/2968/stat : 2968 (java) S 2963 2965 2694 0 -1 64 7031 270 0 0 8 2 0 0 16 0 9 0 28827178 889352192 17216 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2969] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2969/stat : 2969 (java) S 2963 2965 2694 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28827178 889352192 17216 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2970] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2970/stat : 2970 (java) S 2963 2965 2694 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28827179 889352192 17216 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2971] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2971/stat : 2971 (java) S 2963 2965 2694 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28827181 889352192 17216 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2972] ppid=2963 vsize=868508 CPUtime=0.19
/proc/2965/task/2972/stat : 2972 (java) S 2963 2965 2694 0 -1 64 537 270 0 0 19 0 0 0 16 0 9 0 28827181 889352192 17216 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2973] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2973/stat : 2973 (java) S 2963 2965 2694 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28827181 889352192 17216 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2974] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2974/stat : 2974 (java) S 2963 2965 2694 0 -1 64 11 270 0 0 0 0 0 0 15 0 9 0 28827181 889352192 17216 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 868508
[startup+6.30295 s]
/proc/loadavg: 2.14 2.10 2.03 3/89 2978
/proc/meminfo: memFree=1458968/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=868508 CPUtime=6.24
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 26127 270 1 0 611 13 0 0 18 0 9 0 28827175 889352192 17219 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 217127 17219 2656 9 0 211563 0
[pid=2965/tid=2967] ppid=2963 vsize=868508 CPUtime=5.91
/proc/2965/task/2967/stat : 2967 (java) R 2963 2965 2694 0 -1 64 17709 270 1 0 582 9 0 0 25 0 9 0 28827177 889352192 17219 996147200 134512640 134550932 4294955968 18446744073709551615 4126769539 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2968] ppid=2963 vsize=868508 CPUtime=0.1
/proc/2965/task/2968/stat : 2968 (java) S 2963 2965 2694 0 -1 64 7031 270 0 0 8 2 0 0 17 0 9 0 28827178 889352192 17219 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2969] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2969/stat : 2969 (java) S 2963 2965 2694 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28827178 889352192 17219 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2970] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2970/stat : 2970 (java) S 2963 2965 2694 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28827179 889352192 17219 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2971] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2971/stat : 2971 (java) S 2963 2965 2694 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28827181 889352192 17219 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2972] ppid=2963 vsize=868508 CPUtime=0.19
/proc/2965/task/2972/stat : 2972 (java) S 2963 2965 2694 0 -1 64 540 270 0 0 19 0 0 0 15 0 9 0 28827181 889352192 17219 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2973] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2973/stat : 2973 (java) S 2963 2965 2694 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28827181 889352192 17219 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2974] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2974/stat : 2974 (java) S 2963 2965 2694 0 -1 64 13 270 0 0 0 0 0 0 15 0 9 0 28827181 889352192 17219 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 868508
[startup+12.7026 s]
/proc/loadavg: 2.12 2.09 2.03 3/89 2978
/proc/meminfo: memFree=1458712/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=868508 CPUtime=12.58
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 26140 270 1 0 1244 14 0 0 18 0 9 0 28827175 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 217127 17230 2656 9 0 211563 0
[pid=2965/tid=2967] ppid=2963 vsize=868508 CPUtime=12.24
/proc/2965/task/2967/stat : 2967 (java) R 2963 2965 2694 0 -1 64 17711 270 1 0 1215 9 0 0 25 0 9 0 28827177 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4126769584 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2968] ppid=2963 vsize=868508 CPUtime=0.1
/proc/2965/task/2968/stat : 2968 (java) S 2963 2965 2694 0 -1 64 7031 270 0 0 8 2 0 0 16 0 9 0 28827178 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2969] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2969/stat : 2969 (java) S 2963 2965 2694 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28827178 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2970] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2970/stat : 2970 (java) S 2963 2965 2694 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28827179 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2971] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2971/stat : 2971 (java) S 2963 2965 2694 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28827181 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2972] ppid=2963 vsize=868508 CPUtime=0.21
/proc/2965/task/2972/stat : 2972 (java) S 2963 2965 2694 0 -1 64 551 270 0 0 20 1 0 0 16 0 9 0 28827181 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2973] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2973/stat : 2973 (java) S 2963 2965 2694 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28827181 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2974] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2974/stat : 2974 (java) S 2963 2965 2694 0 -1 64 13 270 0 0 0 0 0 0 15 0 9 0 28827181 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 868508
[startup+25.5018 s]
/proc/loadavg: 2.10 2.09 2.02 3/89 2978
/proc/meminfo: memFree=1458776/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=868508 CPUtime=25.26
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 26143 270 1 0 2512 14 0 0 18 0 9 0 28827175 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 217127 17230 2656 9 0 211563 0
[pid=2965/tid=2967] ppid=2963 vsize=868508 CPUtime=24.91
/proc/2965/task/2967/stat : 2967 (java) R 2963 2965 2694 0 -1 64 17714 270 1 0 2482 9 0 0 25 0 9 0 28827177 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2968] ppid=2963 vsize=868508 CPUtime=0.1
/proc/2965/task/2968/stat : 2968 (java) S 2963 2965 2694 0 -1 64 7031 270 0 0 8 2 0 0 16 0 9 0 28827178 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2969] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2969/stat : 2969 (java) S 2963 2965 2694 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28827178 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2970] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2970/stat : 2970 (java) S 2963 2965 2694 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28827179 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2971] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2971/stat : 2971 (java) S 2963 2965 2694 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28827181 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2972] ppid=2963 vsize=868508 CPUtime=0.21
/proc/2965/task/2972/stat : 2972 (java) S 2963 2965 2694 0 -1 64 551 270 0 0 20 1 0 0 16 0 9 0 28827181 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2973] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2973/stat : 2973 (java) S 2963 2965 2694 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28827181 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2974] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2974/stat : 2974 (java) S 2963 2965 2694 0 -1 64 13 270 0 0 0 0 0 0 15 0 9 0 28827181 889352192 17230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 868508
[startup+51.1012 s]
/proc/loadavg: 2.07 2.08 2.02 3/89 3017
/proc/meminfo: memFree=1557984/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=868508 CPUtime=50.76
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 26146 270 1 0 5062 14 0 0 18 0 9 0 28827175 889352192 17231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 217127 17231 2656 9 0 211563 0
[pid=2965/tid=2967] ppid=2963 vsize=868508 CPUtime=50.42
/proc/2965/task/2967/stat : 2967 (java) R 2963 2965 2694 0 -1 64 17716 270 1 0 5033 9 0 0 25 0 9 0 28827177 889352192 17231 996147200 134512640 134550932 4294955968 18446744073709551615 4126794254 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2968] ppid=2963 vsize=868508 CPUtime=0.1
/proc/2965/task/2968/stat : 2968 (java) S 2963 2965 2694 0 -1 64 7031 270 0 0 8 2 0 0 16 0 9 0 28827178 889352192 17231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2969] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2969/stat : 2969 (java) S 2963 2965 2694 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28827178 889352192 17231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2970] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2970/stat : 2970 (java) S 2963 2965 2694 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28827179 889352192 17231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2971] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2971/stat : 2971 (java) S 2963 2965 2694 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28827181 889352192 17231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2972] ppid=2963 vsize=868508 CPUtime=0.21
/proc/2965/task/2972/stat : 2972 (java) S 2963 2965 2694 0 -1 64 552 270 0 0 20 1 0 0 16 0 9 0 28827181 889352192 17231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2973] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2973/stat : 2973 (java) S 2963 2965 2694 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28827181 889352192 17231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=2965/tid=2967] ppid=2963 vsize=868508 CPUtime=581.36
/proc/2965/task/2967/stat : 2967 (java) R 2963 2965 2694 0 -1 64 17724 270 1 0 58123 13 0 0 25 0 9 0 28827177 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4126769584 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2968] ppid=2963 vsize=868508 CPUtime=0.1
/proc/2965/task/2968/stat : 2968 (java) S 2963 2965 2694 0 -1 64 7031 270 0 0 8 2 0 0 16 0 9 0 28827178 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2969] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2969/stat : 2969 (java) S 2963 2965 2694 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28827178 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2970] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2970/stat : 2970 (java) S 2963 2965 2694 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28827179 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2971] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2971/stat : 2971 (java) S 2963 2965 2694 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2972] ppid=2963 vsize=868508 CPUtime=0.21
/proc/2965/task/2972/stat : 2972 (java) S 2963 2965 2694 0 -1 64 563 270 0 0 20 1 0 0 17 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2973] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2973/stat : 2973 (java) S 2963 2965 2694 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2974] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2974/stat : 2974 (java) S 2963 2965 2694 0 -1 64 13 270 0 0 0 0 0 0 15 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 581.71
Current children cumulated vsize (KiB) 868508
Solver just ended. Dumping a history of the last processes samples
[startup+585.503 s]
/proc/loadavg: 2.10 2.06 2.02 3/89 3335
/proc/meminfo: memFree=1537192/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=868508 CPUtime=584.91
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 26165 270 1 0 58473 18 0 0 18 0 9 0 28827175 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 217127 17242 2656 9 0 211563 0
[pid=2965/tid=2967] ppid=2963 vsize=868508 CPUtime=584.56
/proc/2965/task/2967/stat : 2967 (java) R 2963 2965 2694 0 -1 64 17724 270 1 0 58443 13 0 0 25 0 9 0 28827177 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4126766496 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2968] ppid=2963 vsize=868508 CPUtime=0.1
/proc/2965/task/2968/stat : 2968 (java) S 2963 2965 2694 0 -1 64 7031 270 0 0 8 2 0 0 16 0 9 0 28827178 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2969] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2969/stat : 2969 (java) S 2963 2965 2694 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28827178 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2970] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2970/stat : 2970 (java) S 2963 2965 2694 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28827179 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2971] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2971/stat : 2971 (java) S 2963 2965 2694 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2972] ppid=2963 vsize=868508 CPUtime=0.21
/proc/2965/task/2972/stat : 2972 (java) S 2963 2965 2694 0 -1 64 563 270 0 0 20 1 0 0 17 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2973] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2973/stat : 2973 (java) S 2963 2965 2694 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2974] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2974/stat : 2974 (java) S 2963 2965 2694 0 -1 64 13 270 0 0 0 0 0 0 15 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 584.91
Current children cumulated vsize (KiB) 868508
[startup+587.103 s]
/proc/loadavg: 2.10 2.06 2.02 3/89 3335
/proc/meminfo: memFree=1537256/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=868508 CPUtime=586.5
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 26165 270 1 0 58632 18 0 0 18 0 9 0 28827175 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 217127 17242 2656 9 0 211563 0
[pid=2965/tid=2967] ppid=2963 vsize=868508 CPUtime=586.16
/proc/2965/task/2967/stat : 2967 (java) R 2963 2965 2694 0 -1 64 17724 270 1 0 58603 13 0 0 25 0 9 0 28827177 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4126777376 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2968] ppid=2963 vsize=868508 CPUtime=0.1
/proc/2965/task/2968/stat : 2968 (java) S 2963 2965 2694 0 -1 64 7031 270 0 0 8 2 0 0 16 0 9 0 28827178 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2969] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2969/stat : 2969 (java) S 2963 2965 2694 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28827178 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2970] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2970/stat : 2970 (java) S 2963 2965 2694 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28827179 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2971] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2971/stat : 2971 (java) S 2963 2965 2694 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2972] ppid=2963 vsize=868508 CPUtime=0.21
/proc/2965/task/2972/stat : 2972 (java) S 2963 2965 2694 0 -1 64 563 270 0 0 20 1 0 0 17 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2973] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2973/stat : 2973 (java) S 2963 2965 2694 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2974] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2974/stat : 2974 (java) S 2963 2965 2694 0 -1 64 13 270 0 0 0 0 0 0 15 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 586.5
Current children cumulated vsize (KiB) 868508
[startup+587.902 s]
/proc/loadavg: 2.10 2.06 2.02 4/89 3335
/proc/meminfo: memFree=1537256/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=868508 CPUtime=587.3
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 26165 270 1 0 58712 18 0 0 18 0 9 0 28827175 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 217127 17242 2656 9 0 211563 0
[pid=2965/tid=2967] ppid=2963 vsize=868508 CPUtime=586.96
/proc/2965/task/2967/stat : 2967 (java) R 2963 2965 2694 0 -1 64 17724 270 1 0 58683 13 0 0 25 0 9 0 28827177 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4126769539 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2968] ppid=2963 vsize=868508 CPUtime=0.1
/proc/2965/task/2968/stat : 2968 (java) S 2963 2965 2694 0 -1 64 7031 270 0 0 8 2 0 0 16 0 9 0 28827178 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2969] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2969/stat : 2969 (java) S 2963 2965 2694 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28827178 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2970] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2970/stat : 2970 (java) S 2963 2965 2694 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28827179 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2971] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2971/stat : 2971 (java) S 2963 2965 2694 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2972] ppid=2963 vsize=868508 CPUtime=0.21
/proc/2965/task/2972/stat : 2972 (java) S 2963 2965 2694 0 -1 64 563 270 0 0 20 1 0 0 17 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2973] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2973/stat : 2973 (java) S 2963 2965 2694 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2974] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2974/stat : 2974 (java) S 2963 2965 2694 0 -1 64 13 270 0 0 0 0 0 0 15 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 587.3
Current children cumulated vsize (KiB) 868508
[startup+588.701 s]
/proc/loadavg: 2.10 2.06 2.02 3/89 3335
/proc/meminfo: memFree=1537256/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=868508 CPUtime=588.1
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 26165 270 1 0 58792 18 0 0 18 0 9 0 28827175 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 217127 17242 2656 9 0 211563 0
[pid=2965/tid=2967] ppid=2963 vsize=868508 CPUtime=587.75
/proc/2965/task/2967/stat : 2967 (java) R 2963 2965 2694 0 -1 64 17724 270 1 0 58762 13 0 0 25 0 9 0 28827177 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4126769520 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2968] ppid=2963 vsize=868508 CPUtime=0.1
/proc/2965/task/2968/stat : 2968 (java) S 2963 2965 2694 0 -1 64 7031 270 0 0 8 2 0 0 16 0 9 0 28827178 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2969] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2969/stat : 2969 (java) S 2963 2965 2694 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28827178 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2970] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2970/stat : 2970 (java) S 2963 2965 2694 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28827179 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2971] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2971/stat : 2971 (java) S 2963 2965 2694 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2972] ppid=2963 vsize=868508 CPUtime=0.21
/proc/2965/task/2972/stat : 2972 (java) S 2963 2965 2694 0 -1 64 563 270 0 0 20 1 0 0 17 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2973] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2973/stat : 2973 (java) S 2963 2965 2694 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2974] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2974/stat : 2974 (java) S 2963 2965 2694 0 -1 64 13 270 0 0 0 0 0 0 15 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 588.1
Current children cumulated vsize (KiB) 868508
[startup+588.901 s]
/proc/loadavg: 2.10 2.06 2.02 3/89 3335
/proc/meminfo: memFree=1537256/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=868508 CPUtime=588.3
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 26165 270 1 0 58812 18 0 0 18 0 9 0 28827175 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 217127 17242 2656 9 0 211563 0
[pid=2965/tid=2967] ppid=2963 vsize=868508 CPUtime=587.95
/proc/2965/task/2967/stat : 2967 (java) R 2963 2965 2694 0 -1 64 17724 270 1 0 58782 13 0 0 25 0 9 0 28827177 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4126769603 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2968] ppid=2963 vsize=868508 CPUtime=0.1
/proc/2965/task/2968/stat : 2968 (java) S 2963 2965 2694 0 -1 64 7031 270 0 0 8 2 0 0 16 0 9 0 28827178 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2969] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2969/stat : 2969 (java) S 2963 2965 2694 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28827178 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2970] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2970/stat : 2970 (java) S 2963 2965 2694 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28827179 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2971] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2971/stat : 2971 (java) S 2963 2965 2694 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2972] ppid=2963 vsize=868508 CPUtime=0.21
/proc/2965/task/2972/stat : 2972 (java) S 2963 2965 2694 0 -1 64 563 270 0 0 20 1 0 0 17 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2973] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2973/stat : 2973 (java) S 2963 2965 2694 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2974] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2974/stat : 2974 (java) S 2963 2965 2694 0 -1 64 13 270 0 0 0 0 0 0 15 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 588.3
Current children cumulated vsize (KiB) 868508
[startup+589.001 s]
/proc/loadavg: 2.10 2.06 2.02 3/89 3335
/proc/meminfo: memFree=1537256/2055920 swapFree=4192812/4192956
[pid=2965] ppid=2963 vsize=868508 CPUtime=588.4
/proc/2965/stat : 2965 (java) S 2963 2965 2694 0 -1 0 26165 270 1 0 58822 18 0 0 18 0 9 0 28827175 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2965/statm: 217127 17242 2656 9 0 211563 0
[pid=2965/tid=2967] ppid=2963 vsize=868508 CPUtime=588.05
/proc/2965/task/2967/stat : 2967 (java) R 2963 2965 2694 0 -1 64 17724 270 1 0 58792 13 0 0 25 0 9 0 28827177 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4126789052 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2968] ppid=2963 vsize=868508 CPUtime=0.1
/proc/2965/task/2968/stat : 2968 (java) S 2963 2965 2694 0 -1 64 7031 270 0 0 8 2 0 0 16 0 9 0 28827178 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2969] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2969/stat : 2969 (java) S 2963 2965 2694 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28827178 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2970] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2970/stat : 2970 (java) S 2963 2965 2694 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28827179 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2971] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2971/stat : 2971 (java) S 2963 2965 2694 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2972] ppid=2963 vsize=868508 CPUtime=0.21
/proc/2965/task/2972/stat : 2972 (java) S 2963 2965 2694 0 -1 64 563 270 0 0 20 1 0 0 17 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2965/tid=2973] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2973/stat : 2973 (java) S 2963 2965 2694 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2965/tid=2974] ppid=2963 vsize=868508 CPUtime=0
/proc/2965/task/2974/stat : 2974 (java) S 2963 2965 2694 0 -1 64 13 270 0 0 0 0 0 0 15 0 9 0 28827181 889352192 17242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 588.4
Current children cumulated vsize (KiB) 868508
Child status: 0
Real time (s): 589.064
CPU time (s): 588.468
CPU user time (s): 588.267
CPU system time (s): 0.200969
CPU usage (%): 99.8987
Max. virtual memory (cumulated for all children) (KiB): 868552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 588.267
system time used= 0.200969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26526
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= 12944
involuntary context switches= 5846
runsolver used 0.836872 second user time and 1.85372 second system time
The end
Begin job on node61 at 2009-07-12 18:53:57
IDJOB=2099178
IDBENCH=59939
IDSOLVER=774
FILE ID=node61/2099178-1247417637
PBS_JOBID= 9510675
Free space on /tmp= 66404 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/tightness0.9/normalized-rand-2-40-180-84-900-75_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-2099178-1247417637/watcher-2099178-1247417637 -o /tmp/evaluation-result-2099178-1247417637/solver-2099178-1247417637 -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-2099178-1247417637.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8b4918b8b55d409ea9381b08f5849fa6
RANDOM SEED=1718759767
node61.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.229
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.229
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: 1518472 kB
Buffers: 90896 kB
Cached: 231424 kB
SwapCached: 0 kB
Active: 336400 kB
Inactive: 134160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1518472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4116 kB
Writeback: 0 kB
Mapped: 168664 kB
Slab: 52124 kB
Committed_AS: 1044140 kB
PageTables: 2024 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66408 MiB
End job on node61 at 2009-07-12 19:03:46