0.05/0.08
0.05/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-2095176-1247406685.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.36 nbVariables=89 nbDomainTypes=5 minDomainSize=1 maxDomainSize=61 nbTotalValues=2757
0.28/0.36 => wckTime=0.115 cpuTime=0.09 mem=7M892
0.28/0.36
0.28/0.36 predicates being loaded...
0.39/0.42
0.39/0.42 constraints being loaded...
1.47/1.51 nbConstraints=464 nbSingletonDomainVariables=2 nbConflictsStructures=56 nbSharedConflictsStructures=2
1.47/1.51 nbUnbuiltConflictsStructures=380 nbSharedBinaryRepresentations=0 nbEvaluationManagers=436
1.47/1.51 nbSharedEvaluationManagers=28 minDegree=29 maxDegree=30 minArity=3 avgArity=5.62 maxArity=6 nbGenerators=0
1.47/1.51 nbFusions=0 symmetryWckTime=0.109 symmetryCpuTime=0.07
1.47/1.51 => wckTime=1.266 cpuTime=1.06 mem=27M699
1.47/1.59
1.47/1.59 solver IterativeSystematicSolver being built...
1.68/1.71
1.68/1.72 INFO : Forward propagation technique limited
1.68/1.78 => wckTime=1.536 cpuTime=1.23 mem=30M579
2.48/2.54
2.48/2.55 preprocessing
2.48/2.55 nbConstraintChecks=458111 nbValidityChecks=132360 nbPropagations=355 nbRevisions=5446 nbUselessRevisions=5168
2.48/2.55 nbSingletonTests=99 nbEffectiveSingletonTests=0 nbACRemovals=282 nbFoundSingletons=0 nbRemovedValues=282
2.48/2.55 detectedInconsistency=no
2.48/2.55 => wckTime=0.765 cpuTime=0.72 mem=30M579
12.57/12.75
12.57/12.75 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=32M542)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095176-1247406685/watcher-2095176-1247406685 -o /tmp/evaluation-result-2095176-1247406685/solver-2095176-1247406685 -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-2095176-1247406685.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.08 2.02 1.95 3/80 29085
/proc/meminfo: memFree=1670616/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=152 CPUtime=0
/proc/29085/stat : 29085 (java) R 29083 29085 27955 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 27735529 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 9695531 0 0 4096 0 0 0 0 17 0 0 0
/proc/29085/statm: 38 26 19 9 0 4 0
[startup+0.062033 s]
/proc/loadavg: 2.08 2.02 1.95 3/80 29085
/proc/meminfo: memFree=1670616/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=864144 CPUtime=0.05
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 2891 0 1 0 3 2 0 0 18 0 9 0 27735529 884883456 2409 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216036 2410 1144 9 0 210929 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864144
[startup+0.101039 s]
/proc/loadavg: 2.08 2.02 1.95 3/80 29085
/proc/meminfo: memFree=1670616/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=865980 CPUtime=0.09
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 3807 0 1 0 6 3 0 0 18 0 9 0 27735529 886763520 3258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216495 3259 1718 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.30106 s]
/proc/loadavg: 2.08 2.02 1.95 3/80 29085
/proc/meminfo: memFree=1670616/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=866380 CPUtime=0.28
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 6087 0 1 0 24 4 0 0 18 0 9 0 27735529 887173120 5453 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216595 5453 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701098 s]
/proc/loadavg: 2.08 2.02 1.95 3/80 29085
/proc/meminfo: memFree=1670616/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=867152 CPUtime=0.69
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 9289 0 1 0 62 7 0 0 18 0 9 0 27735529 887963648 8643 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216788 8644 2035 9 0 211224 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867152
[startup+1.50118 s]
/proc/loadavg: 2.08 2.02 1.95 3/89 29094
/proc/meminfo: memFree=1622096/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=867520 CPUtime=1.47
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 18420 205 1 0 132 14 1 0 18 0 10 0 27735529 888340480 16932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216880 16932 2041 9 0 211338 0
[pid=29085/tid=29087] ppid=29083 vsize=867520 CPUtime=1.24
/proc/29085/task/29087/stat : 29087 (java) R 29083 29085 27955 0 -1 64 16456 205 1 0 111 12 1 0 16 0 10 0 27735530 888340480 16932 996147200 134512640 134550932 4294955968 18446744073709551615 4126983662 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29088] ppid=29083 vsize=867520 CPUtime=0.02
/proc/29085/task/29088/stat : 29088 (java) S 29083 29085 27955 0 -1 64 468 205 0 0 1 0 1 0 16 0 10 0 27735531 888340480 16932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29089] ppid=29083 vsize=867520 CPUtime=0.01
/proc/29085/task/29089/stat : 29089 (java) S 29083 29085 27955 0 -1 64 16 205 0 0 0 0 1 0 16 0 10 0 27735531 888340480 16932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29090] ppid=29083 vsize=867520 CPUtime=0.01
/proc/29085/task/29090/stat : 29090 (java) S 29083 29085 27955 0 -1 64 5 205 0 0 0 0 1 0 16 0 10 0 27735531 888340480 16932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29091] ppid=29083 vsize=867520 CPUtime=0.01
/proc/29085/task/29091/stat : 29091 (java) S 29083 29085 27955 0 -1 64 2 205 0 0 0 0 1 0 23 0 10 0 27735533 888340480 16932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29092] ppid=29083 vsize=867520 CPUtime=0.2
/proc/29085/task/29092/stat : 29092 (java) R 29083 29085 27955 0 -1 64 667 205 0 0 19 0 1 0 16 0 10 0 27735533 888340480 16932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29093] ppid=29083 vsize=867520 CPUtime=0.01
/proc/29085/task/29093/stat : 29093 (java) S 29083 29085 27955 0 -1 64 0 205 0 0 0 0 1 0 24 0 10 0 27735533 888340480 16932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29094] ppid=29083 vsize=867520 CPUtime=0.01
/proc/29085/task/29094/stat : 29094 (java) S 29083 29085 27955 0 -1 64 7 205 0 0 0 0 1 0 15 0 10 0 27735533 888340480 16932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867520
[startup+3.10233 s]
/proc/loadavg: 2.08 2.02 1.95 4/89 29098
/proc/meminfo: memFree=1601680/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=867608 CPUtime=3.07
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 28518 329 1 0 289 16 1 1 18 0 9 0 27735529 888430592 18478 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216902 18478 2661 9 0 211338 0
[pid=29085/tid=29087] ppid=29083 vsize=867608 CPUtime=2.68
/proc/29085/task/29087/stat : 29087 (java) R 29083 29085 27955 0 -1 64 22515 329 1 0 253 13 1 1 25 0 9 0 27735530 888430592 18478 996147200 134512640 134550932 4294955968 18446744073709551615 4126783607 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29088] ppid=29083 vsize=867608 CPUtime=0.1
/proc/29085/task/29088/stat : 29088 (java) S 29083 29085 27955 0 -1 64 4390 329 0 0 8 0 1 1 17 0 9 0 27735531 888430592 18478 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29089] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29089/stat : 29089 (java) S 29083 29085 27955 0 -1 64 20 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18478 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29090] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29090/stat : 29090 (java) S 29083 29085 27955 0 -1 64 9 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18478 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29091] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29091/stat : 29091 (java) S 29083 29085 27955 0 -1 64 2 329 0 0 0 0 1 1 23 0 9 0 27735533 888430592 18478 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29092] ppid=29083 vsize=867608 CPUtime=0.29
/proc/29085/task/29092/stat : 29092 (java) S 29083 29085 27955 0 -1 64 769 329 0 0 27 0 1 1 15 0 9 0 27735533 888430592 18478 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29093] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29093/stat : 29093 (java) S 29083 29085 27955 0 -1 64 0 329 0 0 0 0 1 1 24 0 9 0 27735533 888430592 18478 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29094] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29094/stat : 29094 (java) S 29083 29085 27955 0 -1 64 11 329 0 0 0 0 1 1 15 0 9 0 27735533 888430592 18478 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867608
[startup+6.30266 s]
/proc/loadavg: 2.07 2.02 1.95 3/89 29098
/proc/meminfo: memFree=1589840/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=867608 CPUtime=6.23
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 28571 329 1 0 605 16 1 1 18 0 9 0 27735529 888430592 18483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216902 18483 2661 9 0 211338 0
[pid=29085/tid=29087] ppid=29083 vsize=867608 CPUtime=5.84
/proc/29085/task/29087/stat : 29087 (java) R 29083 29085 27955 0 -1 64 22551 329 1 0 569 13 1 1 25 0 9 0 27735530 888430592 18483 996147200 134512640 134550932 4294955968 18446744073709551615 4127114499 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29088] ppid=29083 vsize=867608 CPUtime=0.1
/proc/29085/task/29088/stat : 29088 (java) S 29083 29085 27955 0 -1 64 4390 329 0 0 8 0 1 1 16 0 9 0 27735531 888430592 18483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29089] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29089/stat : 29089 (java) S 29083 29085 27955 0 -1 64 20 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29090] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29090/stat : 29090 (java) S 29083 29085 27955 0 -1 64 9 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29091] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29091/stat : 29091 (java) S 29083 29085 27955 0 -1 64 2 329 0 0 0 0 1 1 23 0 9 0 27735533 888430592 18483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29092] ppid=29083 vsize=867608 CPUtime=0.31
/proc/29085/task/29092/stat : 29092 (java) S 29083 29085 27955 0 -1 64 774 329 0 0 28 1 1 1 16 0 9 0 27735533 888430592 18483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29093] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29093/stat : 29093 (java) S 29083 29085 27955 0 -1 64 0 329 0 0 0 0 1 1 24 0 9 0 27735533 888430592 18483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29094] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29094/stat : 29094 (java) S 29083 29085 27955 0 -1 64 23 329 0 0 0 0 1 1 15 0 9 0 27735533 888430592 18483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867608
[startup+12.7023 s]
/proc/loadavg: 2.07 2.02 1.95 3/89 29098
/proc/meminfo: memFree=1567376/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=867608 CPUtime=12.57
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 28597 329 1 0 1239 16 1 1 18 0 9 0 27735529 888430592 18485 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216902 18485 2661 9 0 211338 0
[pid=29085/tid=29087] ppid=29083 vsize=867608 CPUtime=12.17
/proc/29085/task/29087/stat : 29087 (java) R 29083 29085 27955 0 -1 64 22575 329 1 0 1202 13 1 1 20 0 9 0 27735530 888430592 18485 996147200 134512640 134550932 4294955968 18446744073709551615 4126779127 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29088] ppid=29083 vsize=867608 CPUtime=0.1
/proc/29085/task/29088/stat : 29088 (java) S 29083 29085 27955 0 -1 64 4390 329 0 0 8 0 1 1 16 0 9 0 27735531 888430592 18485 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29089] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29089/stat : 29089 (java) S 29083 29085 27955 0 -1 64 20 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18485 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29090] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29090/stat : 29090 (java) S 29083 29085 27955 0 -1 64 9 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18485 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29091] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29091/stat : 29091 (java) S 29083 29085 27955 0 -1 64 2 329 0 0 0 0 1 1 23 0 9 0 27735533 888430592 18485 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29092] ppid=29083 vsize=867608 CPUtime=0.31
/proc/29085/task/29092/stat : 29092 (java) S 29083 29085 27955 0 -1 64 776 329 0 0 28 1 1 1 17 0 9 0 27735533 888430592 18485 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29093] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29093/stat : 29093 (java) S 29083 29085 27955 0 -1 64 0 329 0 0 0 0 1 1 24 0 9 0 27735533 888430592 18485 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29094] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29094/stat : 29094 (java) S 29083 29085 27955 0 -1 64 23 329 0 0 0 0 1 1 15 0 9 0 27735533 888430592 18485 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867608
[startup+25.5016 s]
/proc/loadavg: 2.05 2.02 1.95 3/89 29102
/proc/meminfo: memFree=1093696/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=867608 CPUtime=25.29
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 28645 329 1 0 2510 17 1 1 18 0 9 0 27735529 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216902 18499 2661 9 0 211338 0
[pid=29085/tid=29087] ppid=29083 vsize=867608 CPUtime=24.86
/proc/29085/task/29087/stat : 29087 (java) R 29083 29085 27955 0 -1 64 22582 329 1 0 2471 13 1 1 25 0 9 0 27735530 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4126808731 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29088] ppid=29083 vsize=867608 CPUtime=0.1
/proc/29085/task/29088/stat : 29088 (java) S 29083 29085 27955 0 -1 64 4390 329 0 0 8 0 1 1 16 0 9 0 27735531 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29089] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29089/stat : 29089 (java) S 29083 29085 27955 0 -1 64 20 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29090] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29090/stat : 29090 (java) S 29083 29085 27955 0 -1 64 9 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29091] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29091/stat : 29091 (java) S 29083 29085 27955 0 -1 64 2 329 0 0 0 0 1 1 23 0 9 0 27735533 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29092] ppid=29083 vsize=867608 CPUtime=0.34
/proc/29085/task/29092/stat : 29092 (java) S 29083 29085 27955 0 -1 64 817 329 0 0 31 1 1 1 17 0 9 0 27735533 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29093] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29093/stat : 29093 (java) S 29083 29085 27955 0 -1 64 0 329 0 0 0 0 1 1 24 0 9 0 27735533 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29094] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29094/stat : 29094 (java) S 29083 29085 27955 0 -1 64 23 329 0 0 0 0 1 1 15 0 9 0 27735533 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 867608
[startup+51.1011 s]
/proc/loadavg: 2.15 2.05 1.96 3/89 29102
/proc/meminfo: memFree=932352/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=867608 CPUtime=50.87
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 28652 329 1 0 5068 17 1 1 18 0 9 0 27735529 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216902 18499 2661 9 0 211338 0
[pid=29085/tid=29087] ppid=29083 vsize=867608 CPUtime=50.45
/proc/29085/task/29087/stat : 29087 (java) R 29083 29085 27955 0 -1 64 22588 329 1 0 5029 14 1 1 25 0 9 0 27735530 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4126779106 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29088] ppid=29083 vsize=867608 CPUtime=0.1
/proc/29085/task/29088/stat : 29088 (java) S 29083 29085 27955 0 -1 64 4390 329 0 0 8 0 1 1 16 0 9 0 27735531 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29089] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29089/stat : 29089 (java) S 29083 29085 27955 0 -1 64 20 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29090] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29090/stat : 29090 (java) S 29083 29085 27955 0 -1 64 9 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29091] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29091/stat : 29091 (java) S 29083 29085 27955 0 -1 64 2 329 0 0 0 0 1 1 23 0 9 0 27735533 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29092] ppid=29083 vsize=867608 CPUtime=0.34
/proc/29085/task/29092/stat : 29092 (java) S 29083 29085 27955 0 -1 64 818 329 0 0 31 1 1 1 16 0 9 0 27735533 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29093] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29093/stat : 29093 (java) S 29083 29085 27955 0 -1 64 0 329 0 0 0 0 1 1 24 0 9 0 27735533 888430592 18499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/29085/task/29090/stat : 29090 (java) S 29083 29085 27955 0 -1 64 9 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29091] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29091/stat : 29091 (java) S 29083 29085 27955 0 -1 64 2 329 0 0 0 0 1 1 23 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29092] ppid=29083 vsize=867608 CPUtime=0.35
/proc/29085/task/29092/stat : 29092 (java) S 29083 29085 27955 0 -1 64 826 329 0 0 32 1 1 1 16 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29093] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29093/stat : 29093 (java) S 29083 29085 27955 0 -1 64 0 329 0 0 0 0 1 1 24 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29094] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29094/stat : 29094 (java) S 29083 29085 27955 0 -1 64 23 329 0 0 0 0 1 1 15 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.53
Current children cumulated vsize (KiB) 867608
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 29108
/proc/meminfo: memFree=932160/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=867608 CPUtime=1601.51
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 28686 329 1 0 160129 20 1 1 18 0 9 0 27735529 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216902 18504 2661 9 0 211338 0
[pid=29085/tid=29087] ppid=29083 vsize=867608 CPUtime=1601.08
/proc/29085/task/29087/stat : 29087 (java) R 29083 29085 27955 0 -1 64 22614 329 1 0 160089 17 1 1 25 0 9 0 27735530 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4127113975 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29088] ppid=29083 vsize=867608 CPUtime=0.1
/proc/29085/task/29088/stat : 29088 (java) S 29083 29085 27955 0 -1 64 4390 329 0 0 8 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29089] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29089/stat : 29089 (java) S 29083 29085 27955 0 -1 64 20 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29090] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29090/stat : 29090 (java) S 29083 29085 27955 0 -1 64 9 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29091] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29091/stat : 29091 (java) S 29083 29085 27955 0 -1 64 2 329 0 0 0 0 1 1 23 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29092] ppid=29083 vsize=867608 CPUtime=0.35
/proc/29085/task/29092/stat : 29092 (java) S 29083 29085 27955 0 -1 64 826 329 0 0 32 1 1 1 16 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29093] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29093/stat : 29093 (java) S 29083 29085 27955 0 -1 64 0 329 0 0 0 0 1 1 24 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29094] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29094/stat : 29094 (java) S 29083 29085 27955 0 -1 64 23 329 0 0 0 0 1 1 15 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.51
Current children cumulated vsize (KiB) 867608
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 29108
/proc/meminfo: memFree=932032/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=867608 CPUtime=1661.5
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 28697 329 1 0 166127 21 1 1 18 0 9 0 27735529 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216902 18504 2661 9 0 211338 0
[pid=29085/tid=29087] ppid=29083 vsize=867608 CPUtime=1661.05
/proc/29085/task/29087/stat : 29087 (java) R 29083 29085 27955 0 -1 64 22625 329 1 0 166086 17 1 1 25 0 9 0 27735530 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4127092927 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29088] ppid=29083 vsize=867608 CPUtime=0.1
/proc/29085/task/29088/stat : 29088 (java) S 29083 29085 27955 0 -1 64 4390 329 0 0 8 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29089] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29089/stat : 29089 (java) S 29083 29085 27955 0 -1 64 20 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29090] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29090/stat : 29090 (java) S 29083 29085 27955 0 -1 64 9 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29091] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29091/stat : 29091 (java) S 29083 29085 27955 0 -1 64 2 329 0 0 0 0 1 1 23 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29092] ppid=29083 vsize=867608 CPUtime=0.35
/proc/29085/task/29092/stat : 29092 (java) S 29083 29085 27955 0 -1 64 826 329 0 0 32 1 1 1 16 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29093] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29093/stat : 29093 (java) S 29083 29085 27955 0 -1 64 0 329 0 0 0 0 1 1 24 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29094] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29094/stat : 29094 (java) S 29083 29085 27955 0 -1 64 23 329 0 0 0 0 1 1 15 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.5
Current children cumulated vsize (KiB) 867608
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 29108
/proc/meminfo: memFree=931968/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=867608 CPUtime=1721.47
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 28697 329 1 0 172124 21 1 1 18 0 9 0 27735529 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216902 18504 2661 9 0 211338 0
[pid=29085/tid=29087] ppid=29083 vsize=867608 CPUtime=1721.04
/proc/29085/task/29087/stat : 29087 (java) R 29083 29085 27955 0 -1 64 22625 329 1 0 172084 18 1 1 25 0 9 0 27735530 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4126095903 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29088] ppid=29083 vsize=867608 CPUtime=0.1
/proc/29085/task/29088/stat : 29088 (java) S 29083 29085 27955 0 -1 64 4390 329 0 0 8 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29089] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29089/stat : 29089 (java) S 29083 29085 27955 0 -1 64 20 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29090] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29090/stat : 29090 (java) S 29083 29085 27955 0 -1 64 9 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29091] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29091/stat : 29091 (java) S 29083 29085 27955 0 -1 64 2 329 0 0 0 0 1 1 23 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29092] ppid=29083 vsize=867608 CPUtime=0.35
/proc/29085/task/29092/stat : 29092 (java) S 29083 29085 27955 0 -1 64 826 329 0 0 32 1 1 1 16 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29093] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29093/stat : 29093 (java) S 29083 29085 27955 0 -1 64 0 329 0 0 0 0 1 1 24 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29094] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29094/stat : 29094 (java) S 29083 29085 27955 0 -1 64 23 329 0 0 0 0 1 1 15 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.47
Current children cumulated vsize (KiB) 867608
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 29108
/proc/meminfo: memFree=931840/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=867608 CPUtime=1781.45
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 28697 329 1 0 178122 21 1 1 18 0 9 0 27735529 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216902 18504 2661 9 0 211338 0
[pid=29085/tid=29087] ppid=29083 vsize=867608 CPUtime=1781.02
/proc/29085/task/29087/stat : 29087 (java) R 29083 29085 27955 0 -1 64 22625 329 1 0 178082 18 1 1 25 0 9 0 27735530 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4126810795 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29088] ppid=29083 vsize=867608 CPUtime=0.1
/proc/29085/task/29088/stat : 29088 (java) S 29083 29085 27955 0 -1 64 4390 329 0 0 8 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29089] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29089/stat : 29089 (java) S 29083 29085 27955 0 -1 64 20 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29090] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29090/stat : 29090 (java) S 29083 29085 27955 0 -1 64 9 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29091] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29091/stat : 29091 (java) S 29083 29085 27955 0 -1 64 2 329 0 0 0 0 1 1 23 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29092] ppid=29083 vsize=867608 CPUtime=0.35
/proc/29085/task/29092/stat : 29092 (java) S 29083 29085 27955 0 -1 64 826 329 0 0 32 1 1 1 16 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29093] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29093/stat : 29093 (java) S 29083 29085 27955 0 -1 64 0 329 0 0 0 0 1 1 24 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29094] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29094/stat : 29094 (java) S 29083 29085 27955 0 -1 64 23 329 0 0 0 0 1 1 15 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (KiB) 867608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 29108
/proc/meminfo: memFree=931840/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=867608 CPUtime=1800.05
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 28697 329 1 0 179982 21 1 1 18 0 9 0 27735529 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216902 18504 2661 9 0 211338 0
[pid=29085/tid=29087] ppid=29083 vsize=867608 CPUtime=1799.61
/proc/29085/task/29087/stat : 29087 (java) R 29083 29085 27955 0 -1 64 22625 329 1 0 179941 18 1 1 25 0 9 0 27735530 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4126783095 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29088] ppid=29083 vsize=867608 CPUtime=0.1
/proc/29085/task/29088/stat : 29088 (java) S 29083 29085 27955 0 -1 64 4390 329 0 0 8 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29089] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29089/stat : 29089 (java) S 29083 29085 27955 0 -1 64 20 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29090] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29090/stat : 29090 (java) S 29083 29085 27955 0 -1 64 9 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29091] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29091/stat : 29091 (java) S 29083 29085 27955 0 -1 64 2 329 0 0 0 0 1 1 23 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29092] ppid=29083 vsize=867608 CPUtime=0.35
/proc/29085/task/29092/stat : 29092 (java) S 29083 29085 27955 0 -1 64 826 329 0 0 32 1 1 1 16 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29093] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29093/stat : 29093 (java) S 29083 29085 27955 0 -1 64 0 329 0 0 0 0 1 1 24 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29094] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29094/stat : 29094 (java) S 29083 29085 27955 0 -1 64 23 329 0 0 0 0 1 1 15 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 867608
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 29108
/proc/meminfo: memFree=931840/2055920 swapFree=4192812/4192956
[pid=29085] ppid=29083 vsize=867608 CPUtime=1800.05
/proc/29085/stat : 29085 (java) S 29083 29085 27955 0 -1 0 28697 329 1 0 179982 21 1 1 18 0 9 0 27735529 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29085/statm: 216902 18504 2661 9 0 211338 0
[pid=29085/tid=29087] ppid=29083 vsize=867608 CPUtime=1799.61
/proc/29085/task/29087/stat : 29087 (java) R 29083 29085 27955 0 -1 64 22625 329 1 0 179941 18 1 1 25 0 9 0 27735530 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4126783095 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29088] ppid=29083 vsize=867608 CPUtime=0.1
/proc/29085/task/29088/stat : 29088 (java) S 29083 29085 27955 0 -1 64 4390 329 0 0 8 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29089] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29089/stat : 29089 (java) S 29083 29085 27955 0 -1 64 20 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29090] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29090/stat : 29090 (java) S 29083 29085 27955 0 -1 64 9 329 0 0 0 0 1 1 16 0 9 0 27735531 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29085/tid=29091] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29091/stat : 29091 (java) S 29083 29085 27955 0 -1 64 2 329 0 0 0 0 1 1 23 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29092] ppid=29083 vsize=867608 CPUtime=0.35
/proc/29085/task/29092/stat : 29092 (java) S 29083 29085 27955 0 -1 64 826 329 0 0 32 1 1 1 16 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29093] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29093/stat : 29093 (java) S 29083 29085 27955 0 -1 64 0 329 0 0 0 0 1 1 24 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29085/tid=29094] ppid=29083 vsize=867608 CPUtime=0.02
/proc/29085/task/29094/stat : 29094 (java) S 29083 29085 27955 0 -1 64 23 329 0 0 0 0 1 1 15 0 9 0 27735533 888430592 18504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 867608
Child status: 143
Real time (s): 1800.96
CPU time (s): 1800.11
CPU user time (s): 1799.87
CPU system time (s): 0.235964
CPU usage (%): 99.953
Max. virtual memory (cumulated for all children) (KiB): 867608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.235964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29058
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= 38069
involuntary context switches= 44156
runsolver used 2.29965 second user time and 5.9001 second system time
The end
Begin job on node12 at 2009-07-12 15:51:25
IDJOB=2095176
IDBENCH=54952
IDSOLVER=774
FILE ID=node12/2095176-1247406685
PBS_JOBID= 9510620
Free space on /tmp= 66212 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/tdsp/normalized-C3-2-31.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-2095176-1247406685/watcher-2095176-1247406685 -o /tmp/evaluation-result-2095176-1247406685/solver-2095176-1247406685 -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-2095176-1247406685.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= daf792f61fdf819c51bec95a5a233a29
RANDOM SEED=1262238737
node12.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.240
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.240
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: 1671096 kB
Buffers: 40452 kB
Cached: 142532 kB
SwapCached: 140 kB
Active: 225560 kB
Inactive: 89896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1671096 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7708 kB
Writeback: 0 kB
Mapped: 150348 kB
Slab: 54416 kB
Committed_AS: 994188 kB
PageTables: 1996 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= 66212 MiB
End job on node12 at 2009-07-12 16:21:28