0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.18/0.30
0.18/0.30 instance
0.18/0.30 name=HOME/instance-2098492-1247415702.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.37 nbVariables=25 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=125
0.28/0.37 => wckTime=0.132 cpuTime=0.13 mem=7M892
0.28/0.37
0.28/0.37 relations being loaded...
3.83/3.92
3.83/3.92 INFO : Contraction of relations, mem = 105M829
5.91/6.09
5.91/6.10 constraints being loaded...
9.36/9.50 nbConstraints=56 nbRelationTypes=56 nbGlobalConstraints=56 nbExtensionStructures=56
9.36/9.50 nbSharedExtensionStructures=0 nbConflictsStructures=56 nbSharedConflictsStructures=0
9.36/9.50 nbSharedBinaryRepresentations=0 minDegree=11 maxDegree=24 minArity=7 maxArity=7 nbGenerators=0 nbFusions=0
9.36/9.50 symmetryWckTime=0.083 symmetryCpuTime=0.03
9.36/9.50 => wckTime=9.261 cpuTime=7.9 mem=174M163
9.86/10.08
9.86/10.08 solver IterativeSystematicSolver being built...
9.96/10.16
9.96/10.16 INFO : Forward propagation technique limited
10.05/10.23 => wckTime=9.984 cpuTime=8.02 mem=180M672
10.75/11.00
10.75/11.00 preprocessing
10.75/11.00 nbConstraintChecks=0 nbValidityChecks=10943435 nbPropagations=114 nbRevisions=0 nbUselessRevisions=0
10.75/11.00 nbSingletonTests=39 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
10.75/11.00 detectedInconsistency=no
10.75/11.00 => wckTime=0.767 cpuTime=0.72 mem=180M672
12.53/12.73
12.53/12.73 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=181M685)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098492-1247415702/watcher-2098492-1247415702 -o /tmp/evaluation-result-2098492-1247415702/solver-2098492-1247415702 -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-2098492-1247415702.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: 1.88 1.97 1.98 4/80 30976
/proc/meminfo: memFree=1767656/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=18576 CPUtime=0
/proc/30976/stat : 30976 (runsolver) R 30974 30976 30939 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28637244 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30976/statm: 4644 284 249 26 0 2626 0
[startup+0.095771 s]
/proc/loadavg: 1.88 1.97 1.98 4/80 30976
/proc/meminfo: memFree=1767656/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=865984 CPUtime=0.07
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 3651 0 1 0 5 2 0 0 18 0 9 0 28637244 886767616 3134 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216496 3134 1675 9 0 210981 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865984
[startup+0.10177 s]
/proc/loadavg: 1.88 1.97 1.98 4/80 30976
/proc/meminfo: memFree=1767656/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=865984 CPUtime=0.08
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 3724 0 1 0 6 2 0 0 18 0 9 0 28637244 886767616 3192 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216496 3192 1690 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301806 s]
/proc/loadavg: 1.88 1.97 1.98 4/80 30976
/proc/meminfo: memFree=1767656/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=866224 CPUtime=0.28
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 5790 0 1 0 24 4 0 0 18 0 9 0 28637244 887013376 5156 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216556 5156 1980 9 0 211014 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866224
[startup+0.701888 s]
/proc/loadavg: 1.88 1.97 1.98 4/80 30976
/proc/meminfo: memFree=1767656/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=866604 CPUtime=0.68
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 10042 0 1 0 62 6 0 0 18 0 9 0 28637244 887402496 9404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216651 9404 1999 9 0 211109 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866604
[startup+1.50204 s]
/proc/loadavg: 1.88 1.97 1.98 3/89 30985
/proc/meminfo: memFree=1700384/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=866604 CPUtime=1.47
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 23141 0 1 0 135 12 0 0 18 0 9 0 28637244 887402496 22499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216651 22499 2012 9 0 211109 0
[pid=30976/tid=30978] ppid=30974 vsize=866604 CPUtime=1.3
/proc/30976/task/30978/stat : 30978 (java) R 30974 30976 30939 0 -1 64 15699 0 1 0 122 8 0 0 25 0 9 0 28637245 887402496 22499 996147200 134512640 134550932 4294955968 18446744073709551615 4126588019 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30979] ppid=30974 vsize=866604 CPUtime=0.08
/proc/30976/task/30979/stat : 30979 (java) S 30974 30976 30939 0 -1 64 6401 0 0 0 6 2 0 0 16 0 9 0 28637247 887402496 22499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30980] ppid=30974 vsize=866604 CPUtime=0
/proc/30976/task/30980/stat : 30980 (java) S 30974 30976 30939 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28637247 887402496 22499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30981] ppid=30974 vsize=866604 CPUtime=0
/proc/30976/task/30981/stat : 30981 (java) S 30974 30976 30939 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28637247 887402496 22499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30982] ppid=30974 vsize=866604 CPUtime=0
/proc/30976/task/30982/stat : 30982 (java) S 30974 30976 30939 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28637249 887402496 22499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30983] ppid=30974 vsize=866604 CPUtime=0.06
/proc/30976/task/30983/stat : 30983 (java) S 30974 30976 30939 0 -1 64 338 0 0 0 6 0 0 0 16 0 9 0 28637249 887402496 22499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30984] ppid=30974 vsize=866604 CPUtime=0
/proc/30976/task/30984/stat : 30984 (java) S 30974 30976 30939 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28637249 887402496 22499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30985] ppid=30974 vsize=866604 CPUtime=0
/proc/30976/task/30985/stat : 30985 (java) S 30974 30976 30939 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28637249 887402496 22499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866604
[startup+3.10133 s]
/proc/loadavg: 1.88 1.97 1.98 3/89 30985
/proc/meminfo: memFree=1676768/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=866604 CPUtime=3.04
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 29612 0 1 0 288 16 0 0 18 0 9 0 28637244 887402496 28967 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216651 28967 2012 9 0 211109 0
[pid=30976/tid=30978] ppid=30974 vsize=866604 CPUtime=2.71
/proc/30976/task/30978/stat : 30978 (java) R 30974 30976 30939 0 -1 64 15703 0 1 0 261 10 0 0 25 0 9 0 28637245 887402496 28967 996147200 134512640 134550932 4294955968 18446744073709551615 4126587978 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30979] ppid=30974 vsize=866604 CPUtime=0.23
/proc/30976/task/30979/stat : 30979 (java) S 30974 30976 30939 0 -1 64 12860 0 0 0 19 4 0 0 16 0 9 0 28637247 887402496 28967 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30980] ppid=30974 vsize=866604 CPUtime=0
/proc/30976/task/30980/stat : 30980 (java) S 30974 30976 30939 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28637247 887402496 28967 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30981] ppid=30974 vsize=866604 CPUtime=0
/proc/30976/task/30981/stat : 30981 (java) S 30974 30976 30939 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28637247 887402496 28967 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30982] ppid=30974 vsize=866604 CPUtime=0
/proc/30976/task/30982/stat : 30982 (java) S 30974 30976 30939 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28637249 887402496 28967 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30983] ppid=30974 vsize=866604 CPUtime=0.07
/proc/30976/task/30983/stat : 30983 (java) S 30974 30976 30939 0 -1 64 346 0 0 0 7 0 0 0 16 0 9 0 28637249 887402496 28967 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30984] ppid=30974 vsize=866604 CPUtime=0
/proc/30976/task/30984/stat : 30984 (java) S 30974 30976 30939 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28637249 887402496 28967 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30985] ppid=30974 vsize=866604 CPUtime=0
/proc/30976/task/30985/stat : 30985 (java) S 30974 30976 30939 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28637249 887402496 28967 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 866604
[startup+6.30292 s]
/proc/loadavg: 1.97 1.98 1.99 3/89 30985
/proc/meminfo: memFree=1640480/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=867164 CPUtime=6.21
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 35666 0 1 0 600 21 0 0 18 0 9 0 28637244 887975936 34355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216791 34355 2633 9 0 211249 0
[pid=30976/tid=30978] ppid=30974 vsize=867164 CPUtime=5.42
/proc/30976/task/30978/stat : 30978 (java) R 30974 30976 30939 0 -1 64 15756 0 1 0 530 12 0 0 25 0 9 0 28637245 887975936 34355 996147200 134512640 134550932 4294955968 18446744073709551615 4126711484 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30979] ppid=30974 vsize=867164 CPUtime=0.62
/proc/30976/task/30979/stat : 30979 (java) S 30974 30976 30939 0 -1 64 18712 0 0 0 55 7 0 0 16 0 9 0 28637247 887975936 34355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30980] ppid=30974 vsize=867164 CPUtime=0
/proc/30976/task/30980/stat : 30980 (java) S 30974 30976 30939 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28637247 887975936 34355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30981] ppid=30974 vsize=867164 CPUtime=0
/proc/30976/task/30981/stat : 30981 (java) S 30974 30976 30939 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28637247 887975936 34355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30982] ppid=30974 vsize=867164 CPUtime=0
/proc/30976/task/30982/stat : 30982 (java) S 30974 30976 30939 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28637249 887975936 34355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30983] ppid=30974 vsize=867164 CPUtime=0.13
/proc/30976/task/30983/stat : 30983 (java) S 30974 30976 30939 0 -1 64 495 0 0 0 13 0 0 0 16 0 9 0 28637249 887975936 34355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30984] ppid=30974 vsize=867164 CPUtime=0
/proc/30976/task/30984/stat : 30984 (java) S 30974 30976 30939 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28637249 887975936 34355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30985] ppid=30974 vsize=867164 CPUtime=0
/proc/30976/task/30985/stat : 30985 (java) S 30974 30976 30939 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28637249 887975936 34355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867164
[startup+12.7011 s]
/proc/loadavg: 1.97 1.98 1.99 3/89 30989
/proc/meminfo: memFree=1537824/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=867576 CPUtime=12.53
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 94972 275 1 0 1212 39 0 2 18 0 9 0 28637244 888397824 59959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216894 59959 2660 9 0 211330 0
[pid=30976/tid=30978] ppid=30974 vsize=867576 CPUtime=10.61
/proc/30976/task/30978/stat : 30978 (java) R 30974 30976 30939 0 -1 64 21549 275 1 0 1045 14 0 2 25 0 9 0 28637245 888397824 59959 996147200 134512640 134550932 4294955968 18446744073709551615 4126874885 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30979] ppid=30974 vsize=867576 CPUtime=1.65
/proc/30976/task/30979/stat : 30979 (java) S 30974 30976 30939 0 -1 64 71890 275 0 0 142 21 0 2 17 0 9 0 28637247 888397824 59959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30980] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30980/stat : 30980 (java) S 30974 30976 30939 0 -1 64 20 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30981] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30981/stat : 30981 (java) S 30974 30976 30939 0 -1 64 14 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30982] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30982/stat : 30982 (java) S 30974 30976 30939 0 -1 64 2 275 0 0 0 0 0 2 18 0 9 0 28637249 888397824 59959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30983] ppid=30974 vsize=867576 CPUtime=0.26
/proc/30976/task/30983/stat : 30983 (java) S 30974 30976 30939 0 -1 64 673 275 0 0 24 0 0 2 15 0 9 0 28637249 888397824 59959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30984] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30984/stat : 30984 (java) S 30974 30976 30939 0 -1 64 1 275 0 0 0 0 0 2 19 0 9 0 28637249 888397824 59959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30985] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30985/stat : 30985 (java) S 30974 30976 30939 0 -1 64 8 275 0 0 0 0 0 2 15 0 9 0 28637249 888397824 59959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 867576
[startup+25.5024 s]
/proc/loadavg: 1.97 1.98 1.99 3/89 30989
/proc/meminfo: memFree=1537696/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=867576 CPUtime=25.22
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 95023 275 1 0 2480 40 0 2 18 0 9 0 28637244 888397824 59978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216894 59978 2660 9 0 211330 0
[pid=30976/tid=30978] ppid=30974 vsize=867576 CPUtime=23.26
/proc/30976/task/30978/stat : 30978 (java) R 30974 30976 30939 0 -1 64 21574 275 1 0 2309 15 0 2 25 0 9 0 28637245 888397824 59978 996147200 134512640 134550932 4294955968 18446744073709551615 4126874843 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30979] ppid=30974 vsize=867576 CPUtime=1.65
/proc/30976/task/30979/stat : 30979 (java) S 30974 30976 30939 0 -1 64 71890 275 0 0 142 21 0 2 16 0 9 0 28637247 888397824 59978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30980] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30980/stat : 30980 (java) S 30974 30976 30939 0 -1 64 20 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30981] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30981/stat : 30981 (java) S 30974 30976 30939 0 -1 64 14 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30982] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30982/stat : 30982 (java) S 30974 30976 30939 0 -1 64 2 275 0 0 0 0 0 2 18 0 9 0 28637249 888397824 59978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30983] ppid=30974 vsize=867576 CPUtime=0.3
/proc/30976/task/30983/stat : 30983 (java) S 30974 30976 30939 0 -1 64 699 275 0 0 28 0 0 2 16 0 9 0 28637249 888397824 59978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30984] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30984/stat : 30984 (java) S 30974 30976 30939 0 -1 64 1 275 0 0 0 0 0 2 19 0 9 0 28637249 888397824 59978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30985] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30985/stat : 30985 (java) S 30974 30976 30939 0 -1 64 8 275 0 0 0 0 0 2 15 0 9 0 28637249 888397824 59978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867576
[startup+51.1021 s]
/proc/loadavg: 1.98 1.98 1.99 3/89 30989
/proc/meminfo: memFree=1537888/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=867576 CPUtime=50.56
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 95073 275 1 0 5014 40 0 2 18 0 9 0 28637244 888397824 59980 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216894 59980 2660 9 0 211330 0
[pid=30976/tid=30978] ppid=30974 vsize=867576 CPUtime=48.6
/proc/30976/task/30978/stat : 30978 (java) R 30974 30976 30939 0 -1 64 21621 275 1 0 4843 15 0 2 25 0 9 0 28637245 888397824 59980 996147200 134512640 134550932 4294955968 18446744073709551615 4126875026 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30979] ppid=30974 vsize=867576 CPUtime=1.65
/proc/30976/task/30979/stat : 30979 (java) S 30974 30976 30939 0 -1 64 71890 275 0 0 142 21 0 2 16 0 9 0 28637247 888397824 59980 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30980] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30980/stat : 30980 (java) S 30974 30976 30939 0 -1 64 20 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59980 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30981] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30981/stat : 30981 (java) S 30974 30976 30939 0 -1 64 14 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59980 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30982] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30982/stat : 30982 (java) S 30974 30976 30939 0 -1 64 2 275 0 0 0 0 0 2 18 0 9 0 28637249 888397824 59980 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30983] ppid=30974 vsize=867576 CPUtime=0.3
/proc/30976/task/30983/stat : 30983 (java) S 30974 30976 30939 0 -1 64 702 275 0 0 28 0 0 2 15 0 9 0 28637249 888397824 59980 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30984] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30984/stat : 30984 (java) S 30974 30976 30939 0 -1 64 1 275 0 0 0 0 0 2 19 0 9 0 28637249 888397824 59980 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30976/task/30981/stat : 30981 (java) S 30974 30976 30939 0 -1 64 14 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30982] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30982/stat : 30982 (java) S 30974 30976 30939 0 -1 64 2 275 0 0 0 0 0 2 18 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30983] ppid=30974 vsize=867576 CPUtime=0.31
/proc/30976/task/30983/stat : 30983 (java) S 30974 30976 30939 0 -1 64 703 275 0 0 29 0 0 2 16 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30984] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30984/stat : 30984 (java) S 30974 30976 30939 0 -1 64 1 275 0 0 0 0 0 2 19 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30985] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30985/stat : 30985 (java) S 30974 30976 30939 0 -1 64 8 275 0 0 0 0 0 2 15 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.68
Current children cumulated vsize (KiB) 867576
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30989
/proc/meminfo: memFree=1537248/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=867576 CPUtime=1587.12
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 97459 275 1 0 158667 43 0 2 18 0 9 0 28637244 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216894 59981 2660 9 0 211330 0
[pid=30976/tid=30978] ppid=30974 vsize=867576 CPUtime=1585.15
/proc/30976/task/30978/stat : 30978 (java) R 30974 30976 30939 0 -1 64 24006 275 1 0 158495 18 0 2 25 0 9 0 28637245 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4126874869 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30979] ppid=30974 vsize=867576 CPUtime=1.65
/proc/30976/task/30979/stat : 30979 (java) S 30974 30976 30939 0 -1 64 71890 275 0 0 142 21 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30980] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30980/stat : 30980 (java) S 30974 30976 30939 0 -1 64 20 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30981] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30981/stat : 30981 (java) S 30974 30976 30939 0 -1 64 14 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30982] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30982/stat : 30982 (java) S 30974 30976 30939 0 -1 64 2 275 0 0 0 0 0 2 18 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30983] ppid=30974 vsize=867576 CPUtime=0.31
/proc/30976/task/30983/stat : 30983 (java) S 30974 30976 30939 0 -1 64 703 275 0 0 29 0 0 2 16 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30984] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30984/stat : 30984 (java) S 30974 30976 30939 0 -1 64 1 275 0 0 0 0 0 2 19 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30985] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30985/stat : 30985 (java) S 30974 30976 30939 0 -1 64 8 275 0 0 0 0 0 2 15 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.12
Current children cumulated vsize (KiB) 867576
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30989
/proc/meminfo: memFree=1537184/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=867576 CPUtime=1646.55
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 97558 275 1 0 164610 43 0 2 18 0 9 0 28637244 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216894 59981 2660 9 0 211330 0
[pid=30976/tid=30978] ppid=30974 vsize=867576 CPUtime=1644.59
/proc/30976/task/30978/stat : 30978 (java) R 30974 30976 30939 0 -1 64 24105 275 1 0 164439 18 0 2 25 0 9 0 28637245 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4126874843 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30979] ppid=30974 vsize=867576 CPUtime=1.65
/proc/30976/task/30979/stat : 30979 (java) S 30974 30976 30939 0 -1 64 71890 275 0 0 142 21 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30980] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30980/stat : 30980 (java) S 30974 30976 30939 0 -1 64 20 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30981] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30981/stat : 30981 (java) S 30974 30976 30939 0 -1 64 14 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30982] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30982/stat : 30982 (java) S 30974 30976 30939 0 -1 64 2 275 0 0 0 0 0 2 18 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30983] ppid=30974 vsize=867576 CPUtime=0.31
/proc/30976/task/30983/stat : 30983 (java) S 30974 30976 30939 0 -1 64 703 275 0 0 29 0 0 2 16 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30984] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30984/stat : 30984 (java) S 30974 30976 30939 0 -1 64 1 275 0 0 0 0 0 2 19 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30985] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30985/stat : 30985 (java) S 30974 30976 30939 0 -1 64 8 275 0 0 0 0 0 2 15 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.55
Current children cumulated vsize (KiB) 867576
[startup+1722.3 s]
/proc/loadavg: 2.05 2.00 1.99 3/89 30989
/proc/meminfo: memFree=1537056/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=867576 CPUtime=1705.99
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 97658 275 1 0 170554 43 0 2 18 0 9 0 28637244 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216894 59981 2660 9 0 211330 0
[pid=30976/tid=30978] ppid=30974 vsize=867576 CPUtime=1704.02
/proc/30976/task/30978/stat : 30978 (java) R 30974 30976 30939 0 -1 64 24205 275 1 0 170382 18 0 2 25 0 9 0 28637245 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4126874843 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30979] ppid=30974 vsize=867576 CPUtime=1.65
/proc/30976/task/30979/stat : 30979 (java) S 30974 30976 30939 0 -1 64 71890 275 0 0 142 21 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30980] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30980/stat : 30980 (java) S 30974 30976 30939 0 -1 64 20 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30981] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30981/stat : 30981 (java) S 30974 30976 30939 0 -1 64 14 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30982] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30982/stat : 30982 (java) S 30974 30976 30939 0 -1 64 2 275 0 0 0 0 0 2 18 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30983] ppid=30974 vsize=867576 CPUtime=0.31
/proc/30976/task/30983/stat : 30983 (java) S 30974 30976 30939 0 -1 64 703 275 0 0 29 0 0 2 16 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30984] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30984/stat : 30984 (java) S 30974 30976 30939 0 -1 64 1 275 0 0 0 0 0 2 19 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30985] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30985/stat : 30985 (java) S 30974 30976 30939 0 -1 64 8 275 0 0 0 0 0 2 15 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1705.99
Current children cumulated vsize (KiB) 867576
[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/89 31032
/proc/meminfo: memFree=1541472/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=867576 CPUtime=1765.82
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 97755 275 1 0 176536 44 0 2 18 0 9 0 28637244 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216894 59981 2660 9 0 211330 0
[pid=30976/tid=30978] ppid=30974 vsize=867576 CPUtime=1763.86
/proc/30976/task/30978/stat : 30978 (java) R 30974 30976 30939 0 -1 64 24302 275 1 0 176365 19 0 2 25 0 9 0 28637245 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4126875026 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30976/tid=30979] ppid=30974 vsize=867576 CPUtime=1.65
/proc/30976/task/30979/stat : 30979 (java) S 30974 30976 30939 0 -1 64 71890 275 0 0 142 21 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30980] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30980/stat : 30980 (java) S 30974 30976 30939 0 -1 64 20 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30981] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30981/stat : 30981 (java) S 30974 30976 30939 0 -1 64 14 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30982] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30982/stat : 30982 (java) S 30974 30976 30939 0 -1 64 2 275 0 0 0 0 0 2 18 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30983] ppid=30974 vsize=867576 CPUtime=0.31
/proc/30976/task/30983/stat : 30983 (java) S 30974 30976 30939 0 -1 64 703 275 0 0 29 0 0 2 16 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30984] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30984/stat : 30984 (java) S 30974 30976 30939 0 -1 64 1 275 0 0 0 0 0 2 19 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30985] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30985/stat : 30985 (java) S 30974 30976 30939 0 -1 64 8 275 0 0 0 0 0 2 15 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1765.82
Current children cumulated vsize (KiB) 867576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.5 s]
/proc/loadavg: 2.12 2.04 2.00 3/89 31032
/proc/meminfo: memFree=1541472/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=867576 CPUtime=1800.01
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 97816 275 1 0 179955 44 0 2 18 0 9 0 28637244 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216894 59981 2660 9 0 211330 0
[pid=30976/tid=30978] ppid=30974 vsize=867576 CPUtime=1798.05
/proc/30976/task/30978/stat : 30978 (java) R 30974 30976 30939 0 -1 64 24363 275 1 0 179784 19 0 2 25 0 9 0 28637245 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4126874996 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30976/tid=30979] ppid=30974 vsize=867576 CPUtime=1.65
/proc/30976/task/30979/stat : 30979 (java) S 30974 30976 30939 0 -1 64 71890 275 0 0 142 21 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30980] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30980/stat : 30980 (java) S 30974 30976 30939 0 -1 64 20 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30981] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30981/stat : 30981 (java) S 30974 30976 30939 0 -1 64 14 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30982] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30982/stat : 30982 (java) S 30974 30976 30939 0 -1 64 2 275 0 0 0 0 0 2 18 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30983] ppid=30974 vsize=867576 CPUtime=0.31
/proc/30976/task/30983/stat : 30983 (java) S 30974 30976 30939 0 -1 64 703 275 0 0 29 0 0 2 16 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30984] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30984/stat : 30984 (java) S 30974 30976 30939 0 -1 64 1 275 0 0 0 0 0 2 19 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30985] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30985/stat : 30985 (java) S 30974 30976 30939 0 -1 64 8 275 0 0 0 0 0 2 15 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 867576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1816.5 s]
/proc/loadavg: 2.12 2.04 2.00 3/89 31032
/proc/meminfo: memFree=1541472/2055920 swapFree=4192812/4192956
[pid=30976] ppid=30974 vsize=867576 CPUtime=1800.01
/proc/30976/stat : 30976 (java) S 30974 30976 30939 0 -1 0 97816 275 1 0 179955 44 0 2 18 0 9 0 28637244 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30976/statm: 216894 59981 2660 9 0 211330 0
[pid=30976/tid=30978] ppid=30974 vsize=867576 CPUtime=1798.05
/proc/30976/task/30978/stat : 30978 (java) R 30974 30976 30939 0 -1 64 24363 275 1 0 179784 19 0 2 25 0 9 0 28637245 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4126874996 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30976/tid=30979] ppid=30974 vsize=867576 CPUtime=1.65
/proc/30976/task/30979/stat : 30979 (java) S 30974 30976 30939 0 -1 64 71890 275 0 0 142 21 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30980] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30980/stat : 30980 (java) S 30974 30976 30939 0 -1 64 20 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30981] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30981/stat : 30981 (java) S 30974 30976 30939 0 -1 64 14 275 0 0 0 0 0 2 16 0 9 0 28637247 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30982] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30982/stat : 30982 (java) S 30974 30976 30939 0 -1 64 2 275 0 0 0 0 0 2 18 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30983] ppid=30974 vsize=867576 CPUtime=0.31
/proc/30976/task/30983/stat : 30983 (java) S 30974 30976 30939 0 -1 64 703 275 0 0 29 0 0 2 16 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30984] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30984/stat : 30984 (java) S 30974 30976 30939 0 -1 64 1 275 0 0 0 0 0 2 19 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30976/tid=30985] ppid=30974 vsize=867576 CPUtime=0.02
/proc/30976/task/30985/stat : 30985 (java) S 30974 30976 30939 0 -1 64 8 275 0 0 0 0 0 2 15 0 9 0 28637249 888397824 59981 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 867576
Child status: 143
Real time (s): 1816.56
CPU time (s): 1800.08
CPU user time (s): 1799.58
CPU system time (s): 0.505923
CPU usage (%): 99.093
Max. virtual memory (cumulated for all children) (KiB): 868168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.505923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98127
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= 38067
involuntary context switches= 75239
runsolver used 2.33564 second user time and 5.9391 second system time
The end
Begin job on node24 at 2009-07-12 18:21:44
IDJOB=2098492
IDBENCH=58694
IDSOLVER=774
FILE ID=node24/2098492-1247415702
PBS_JOBID= 9510686
Free space on /tmp= 66432 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/dag-half/normalized-half-n25-d5-e56-r7-1.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-2098492-1247415702/watcher-2098492-1247415702 -o /tmp/evaluation-result-2098492-1247415702/solver-2098492-1247415702 -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-2098492-1247415702.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e314bdf1882217984545160cbeb01d02
RANDOM SEED=1278776110
node24.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.287
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.287
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: 1768136 kB
Buffers: 42668 kB
Cached: 136444 kB
SwapCached: 0 kB
Active: 174676 kB
Inactive: 58056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1768136 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 32936 kB
Writeback: 0 kB
Mapped: 74028 kB
Slab: 40180 kB
Committed_AS: 1004136 kB
PageTables: 1932 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= 66432 MiB
End job on node24 at 2009-07-12 18:52:03