0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=esac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1080947-1215214149.xml
0.29/0.32
0.29/0.32 domains being loaded...
0.29/0.39
0.29/0.39 variables being loaded...
0.39/0.48 nbVariables=300 nbDomainTypes=300 minDomainSize=1354 maxDomainSize=1452 nbTotalValues=420767
0.39/0.48 => wckTime=0.229 cpuTime=0.17 mem=17M662
0.39/0.48
0.39/0.48 predicates being loaded...
0.48/0.54
0.48/0.54 constraints being loaded...
2.66/2.76 nbConstraints=3145 nbGlobalConstraints=3143 nbConvertedConstraints=2 nbConvertConstraintsChecks=3860204
2.66/2.76 nbExtensionStructures=2 nbSharedExtensionStructures=0 nbConflictsStructures=2 nbSharedConflictsStructures=0
2.66/2.76 nbSharedBinaryRepresentations=252 minDegree=21 maxDegree=22 minArity=2 avgArity=2.09 maxArity=20
2.66/2.76 nbGenerators=0 nbFusions=0 symmetryWckTime=0.765 symmetryCpuTime=0.56 nbCliques=15
2.66/2.76 => wckTime=2.506 cpuTime=2.09 mem=21M458
2.76/2.85
2.76/2.85 solver IterativeSystematicSolver being built...
2.85/2.92
2.85/2.92 INFO : Forward propagation technique limited
2.96/3.01 => wckTime=2.76 cpuTime=2.24 mem=46M641
3.15/3.29
3.15/3.29 preprocessing
3.15/3.29 nbConstraintChecks=85670 nbPropagations=759 nbRevisions=8 nbUselessRevisions=0 nbRemovedValues=211862
3.15/3.29 detectedInconsistency=no
3.15/3.29 => wckTime=0.262 cpuTime=0.2 mem=33M830
4.44/4.53
4.44/4.53 INFO : Stopping use of transposition table (mapSize=0, nbTooLargekeys=108, mem=78M286)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080947-1215214149/watcher-1080947-1215214149 -o /tmp/evaluation-result-1080947-1215214149/solver-1080947-1215214149 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1080947-1215214149.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 1.98 1.95 4/80 26149
/proc/meminfo: memFree=1435912/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=10616 CPUtime=0
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 1309660775 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 2654 472 209 9 0 1184 0
[pid=26149/tid=26150] ppid=26147 vsize=10616 CPUtime=0
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 1309660776 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 8466392 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.109524 s]
/proc/loadavg: 1.94 1.98 1.95 4/80 26149
/proc/meminfo: memFree=1435912/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=866004 CPUtime=0.09
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 3840 0 1 0 8 1 0 0 18 0 9 0 1309660775 886788096 3291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 216501 3291 1735 9 0 211056 0
[pid=26149/tid=26150] ppid=26147 vsize=866004 CPUtime=0.07
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 2912 0 1 0 6 1 0 0 18 0 9 0 1309660776 886788096 3291 996147200 134512640 134550740 4294955968 18446744073709551615 101734736 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866004
[startup+0.201542 s]
/proc/loadavg: 1.94 1.98 1.95 4/80 26149
/proc/meminfo: memFree=1435912/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=866032 CPUtime=0.18
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 4669 0 1 0 16 2 0 0 18 0 9 0 1309660775 886816768 4096 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 216508 4096 1861 9 0 211056 0
[pid=26149/tid=26150] ppid=26147 vsize=866032 CPUtime=0.15
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 3737 0 1 0 14 1 0 0 18 0 9 0 1309660776 886816768 4096 996147200 134512640 134550740 4294955968 18446744073709551615 104251872 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866032
[startup+0.301559 s]
/proc/loadavg: 1.94 1.98 1.95 4/80 26149
/proc/meminfo: memFree=1435912/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=866372 CPUtime=0.29
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 5817 0 1 0 26 3 0 0 18 0 9 0 1309660775 887164928 5191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 216593 5191 1953 9 0 211121 0
[pid=26149/tid=26150] ppid=26147 vsize=866372 CPUtime=0.23
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 4842 0 1 0 21 2 0 0 18 0 9 0 1309660776 887164928 5191 996147200 134512640 134550740 4294955968 18446744073709551615 102818448 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866372
[startup+0.701638 s]
/proc/loadavg: 1.94 1.98 1.95 4/80 26149
/proc/meminfo: memFree=1435912/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=867676 CPUtime=0.68
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 10539 0 1 0 62 6 0 0 18 0 9 0 1309660775 888500224 9899 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 216919 9899 2010 9 0 211425 0
[pid=26149/tid=26150] ppid=26147 vsize=867676 CPUtime=0.5
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 9194 0 1 0 46 4 0 0 19 0 9 0 1309660776 888500224 9899 996147200 134512640 134550740 4294955968 18446744073709551615 4125978602 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867676
[startup+1.5028 s]
/proc/loadavg: 1.94 1.98 1.95 3/89 26158
/proc/meminfo: memFree=1393216/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=867676 CPUtime=1.47
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 14633 0 1 0 131 16 0 0 18 0 9 0 1309660775 888500224 13990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 216919 13990 2014 9 0 211425 0
[pid=26149/tid=26150] ppid=26147 vsize=867676 CPUtime=1.23
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 13237 0 1 0 108 15 0 0 25 0 9 0 1309660776 888500224 13990 996147200 134512640 134550740 4294955968 18446744073709551615 103205767 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26152] ppid=26147 vsize=867676 CPUtime=0
/proc/26149/task/26152/stat : 26152 (java) S 26147 26149 24559 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1309660777 888500224 13990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26153] ppid=26147 vsize=867676 CPUtime=0
/proc/26149/task/26153/stat : 26153 (java) S 26147 26149 24559 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1309660777 888500224 13990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26154] ppid=26147 vsize=867676 CPUtime=0
/proc/26149/task/26154/stat : 26154 (java) S 26147 26149 24559 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1309660777 888500224 13990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26155] ppid=26147 vsize=867676 CPUtime=0
/proc/26149/task/26155/stat : 26155 (java) S 26147 26149 24559 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1309660779 888500224 13990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26156] ppid=26147 vsize=867676 CPUtime=0.22
/proc/26149/task/26156/stat : 26156 (java) S 26147 26149 24559 0 -1 64 698 0 0 0 22 0 0 0 16 0 9 0 1309660779 888500224 13990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26157] ppid=26147 vsize=867676 CPUtime=0
/proc/26149/task/26157/stat : 26157 (java) S 26147 26149 24559 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1309660780 888500224 13990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26158] ppid=26147 vsize=867676 CPUtime=0
/proc/26149/task/26158/stat : 26158 (java) S 26147 26149 24559 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1309660780 888500224 13990 996147200 134512640 134550740 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) 867676
[startup+3.10164 s]
/proc/loadavg: 1.94 1.98 1.95 4/91 26160
/proc/meminfo: memFree=1365104/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=868104 CPUtime=3.06
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 45394 442 1 0 272 30 3 1 18 0 9 0 1309660775 888938496 22604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 217026 22604 2637 9 0 211532 0
[pid=26149/tid=26150] ppid=26147 vsize=868104 CPUtime=2.53
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 25986 442 1 0 225 24 3 1 25 0 9 0 1309660776 888938496 22604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26152] ppid=26147 vsize=868104 CPUtime=0.23
/proc/26149/task/26152/stat : 26152 (java) S 26147 26149 24559 0 -1 64 17644 442 0 0 16 3 3 1 16 0 9 0 1309660777 888938496 22604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26153] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26153/stat : 26153 (java) S 26147 26149 24559 0 -1 64 22 442 0 0 0 0 3 1 16 0 9 0 1309660777 888938496 22604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26154] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26154/stat : 26154 (java) S 26147 26149 24559 0 -1 64 26 442 0 0 0 0 3 1 15 0 9 0 1309660777 888938496 22604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26155] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26155/stat : 26155 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 18 0 9 0 1309660779 888938496 22604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26156] ppid=26147 vsize=868104 CPUtime=0.33
/proc/26149/task/26156/stat : 26156 (java) S 26147 26149 24559 0 -1 64 924 442 0 0 29 0 3 1 15 0 9 0 1309660779 888938496 22604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26157] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26157/stat : 26157 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 19 0 9 0 1309660780 888938496 22604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26158] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26158/stat : 26158 (java) S 26147 26149 24559 0 -1 64 4 442 0 0 0 0 3 1 15 0 9 0 1309660780 888938496 22604 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868104
[startup+6.30275 s]
/proc/loadavg: 1.95 1.98 1.95 3/89 26162
/proc/meminfo: memFree=1332600/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=868104 CPUtime=6.22
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 54656 442 1 0 585 33 3 1 18 0 9 0 1309660775 888938496 28284 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 217026 28284 2637 9 0 211532 0
[pid=26149/tid=26150] ppid=26147 vsize=868104 CPUtime=5.58
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 29482 442 1 0 530 24 3 1 25 0 9 0 1309660776 888938496 28284 996147200 134512640 134550740 4294955968 18446744073709551615 4126095722 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26152] ppid=26147 vsize=868104 CPUtime=0.29
/proc/26149/task/26152/stat : 26152 (java) S 26147 26149 24559 0 -1 64 23351 442 0 0 19 6 3 1 16 0 9 0 1309660777 888938496 28284 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26153] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26153/stat : 26153 (java) S 26147 26149 24559 0 -1 64 22 442 0 0 0 0 3 1 16 0 9 0 1309660777 888938496 28284 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26154] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26154/stat : 26154 (java) S 26147 26149 24559 0 -1 64 26 442 0 0 0 0 3 1 15 0 9 0 1309660777 888938496 28284 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26155] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26155/stat : 26155 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 18 0 9 0 1309660779 888938496 28284 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26156] ppid=26147 vsize=868104 CPUtime=0.38
/proc/26149/task/26156/stat : 26156 (java) S 26147 26149 24559 0 -1 64 955 442 0 0 34 0 3 1 15 0 9 0 1309660779 888938496 28284 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26157] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26157/stat : 26157 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 19 0 9 0 1309660780 888938496 28284 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26158] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26158/stat : 26158 (java) S 26147 26149 24559 0 -1 64 32 442 0 0 0 0 3 1 15 0 9 0 1309660780 888938496 28284 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868104
[startup+12.702 s]
/proc/loadavg: 1.95 1.98 1.95 3/89 26162
/proc/meminfo: memFree=1332344/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=868104 CPUtime=12.56
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 54718 442 1 0 1219 33 3 1 18 0 9 0 1309660775 888938496 28297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 217026 28297 2637 9 0 211532 0
[pid=26149/tid=26150] ppid=26147 vsize=868104 CPUtime=11.87
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 29494 442 1 0 1159 24 3 1 25 0 9 0 1309660776 888938496 28297 996147200 134512640 134550740 4294955968 18446744073709551615 4127180814 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26152] ppid=26147 vsize=868104 CPUtime=0.32
/proc/26149/task/26152/stat : 26152 (java) S 26147 26149 24559 0 -1 64 23351 442 0 0 22 6 3 1 16 0 9 0 1309660777 888938496 28297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26153] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26153/stat : 26153 (java) S 26147 26149 24559 0 -1 64 22 442 0 0 0 0 3 1 16 0 9 0 1309660777 888938496 28297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26154] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26154/stat : 26154 (java) S 26147 26149 24559 0 -1 64 26 442 0 0 0 0 3 1 15 0 9 0 1309660777 888938496 28297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26155] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26155/stat : 26155 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 18 0 9 0 1309660779 888938496 28297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26156] ppid=26147 vsize=868104 CPUtime=0.41
/proc/26149/task/26156/stat : 26156 (java) S 26147 26149 24559 0 -1 64 1005 442 0 0 37 0 3 1 16 0 9 0 1309660779 888938496 28297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26157] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26157/stat : 26157 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 19 0 9 0 1309660780 888938496 28297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26158] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26158/stat : 26158 (java) S 26147 26149 24559 0 -1 64 32 442 0 0 0 0 3 1 15 0 9 0 1309660780 888938496 28297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868104
[startup+25.5025 s]
/proc/loadavg: 1.96 1.98 1.95 3/89 26162
/proc/meminfo: memFree=1330680/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=868104 CPUtime=25.24
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 55158 442 1 0 2487 33 3 1 18 0 9 0 1309660775 888938496 28712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 217026 28712 2637 9 0 211532 0
[pid=26149/tid=26150] ppid=26147 vsize=868104 CPUtime=24.49
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 29510 442 1 0 2421 24 3 1 25 0 9 0 1309660776 888938496 28712 996147200 134512640 134550740 4294955968 18446744073709551615 4127171792 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26152] ppid=26147 vsize=868104 CPUtime=0.36
/proc/26149/task/26152/stat : 26152 (java) S 26147 26149 24559 0 -1 64 23772 442 0 0 26 6 3 1 16 0 9 0 1309660777 888938496 28712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26153] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26153/stat : 26153 (java) S 26147 26149 24559 0 -1 64 22 442 0 0 0 0 3 1 16 0 9 0 1309660777 888938496 28712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26154] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26154/stat : 26154 (java) S 26147 26149 24559 0 -1 64 26 442 0 0 0 0 3 1 15 0 9 0 1309660777 888938496 28712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26155] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26155/stat : 26155 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 18 0 9 0 1309660779 888938496 28712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26156] ppid=26147 vsize=868104 CPUtime=0.41
/proc/26149/task/26156/stat : 26156 (java) S 26147 26149 24559 0 -1 64 1008 442 0 0 37 0 3 1 15 0 9 0 1309660779 888938496 28712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26157] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26157/stat : 26157 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 19 0 9 0 1309660780 888938496 28712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26158] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26158/stat : 26158 (java) S 26147 26149 24559 0 -1 64 32 442 0 0 0 0 3 1 15 0 9 0 1309660780 888938496 28712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 868104
[startup+51.1025 s]
/proc/loadavg: 1.97 1.98 1.95 3/89 26162
/proc/meminfo: memFree=1330616/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=868104 CPUtime=50.6
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 55232 442 1 0 5022 34 3 1 18 0 9 0 1309660775 888938496 28750 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 217026 28750 2637 9 0 211532 0
[pid=26149/tid=26150] ppid=26147 vsize=868104 CPUtime=49.78
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 29545 442 1 0 4950 24 3 1 25 0 9 0 1309660776 888938496 28750 996147200 134512640 134550740 4294955968 18446744073709551615 4127065291 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26152] ppid=26147 vsize=868104 CPUtime=0.43
################
# More data... #
################
/proc/26149/task/26154/stat : 26154 (java) S 26147 26149 24559 0 -1 64 26 442 0 0 0 0 3 1 15 0 9 0 1309660777 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26155] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26155/stat : 26155 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 18 0 9 0 1309660779 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26156] ppid=26147 vsize=868104 CPUtime=0.42
/proc/26149/task/26156/stat : 26156 (java) S 26147 26149 24559 0 -1 64 1011 442 0 0 38 0 3 1 16 0 9 0 1309660779 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26157] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26157/stat : 26157 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 19 0 9 0 1309660780 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26158] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26158/stat : 26158 (java) S 26147 26149 24559 0 -1 64 32 442 0 0 0 0 3 1 15 0 9 0 1309660780 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.62
Current children cumulated vsize (KiB) 868104
[startup+1602.3 s]
/proc/loadavg: 2.04 2.07 2.00 3/81 26279
/proc/meminfo: memFree=1407408/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=868104 CPUtime=1589.29
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 57206 442 1 0 158867 58 3 1 18 0 9 0 1309660775 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 217026 28877 2637 9 0 211532 0
[pid=26149/tid=26150] ppid=26147 vsize=868104 CPUtime=1585.73
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 31392 442 1 0 158533 36 3 1 25 0 9 0 1309660776 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4127180814 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26149/tid=26152] ppid=26147 vsize=868104 CPUtime=3.17
/proc/26149/task/26152/stat : 26152 (java) S 26147 26149 24559 0 -1 64 23935 442 0 0 294 19 3 1 16 0 9 0 1309660777 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26149/tid=26153] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26153/stat : 26153 (java) S 26147 26149 24559 0 -1 64 22 442 0 0 0 0 3 1 16 0 9 0 1309660777 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26154] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26154/stat : 26154 (java) S 26147 26149 24559 0 -1 64 26 442 0 0 0 0 3 1 15 0 9 0 1309660777 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26155] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26155/stat : 26155 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 18 0 9 0 1309660779 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26156] ppid=26147 vsize=868104 CPUtime=0.42
/proc/26149/task/26156/stat : 26156 (java) S 26147 26149 24559 0 -1 64 1011 442 0 0 38 0 3 1 16 0 9 0 1309660779 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26157] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26157/stat : 26157 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 19 0 9 0 1309660780 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26158] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26158/stat : 26158 (java) S 26147 26149 24559 0 -1 64 32 442 0 0 0 0 3 1 15 0 9 0 1309660780 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.29
Current children cumulated vsize (KiB) 868104
[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/81 26279
/proc/meminfo: memFree=1407344/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=868104 CPUtime=1648.96
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 57284 442 1 0 164834 58 3 1 18 0 9 0 1309660775 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 217026 28877 2637 9 0 211532 0
[pid=26149/tid=26150] ppid=26147 vsize=868104 CPUtime=1645.29
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 31470 442 1 0 164488 37 3 1 25 0 9 0 1309660776 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4127171792 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26149/tid=26152] ppid=26147 vsize=868104 CPUtime=3.29
/proc/26149/task/26152/stat : 26152 (java) S 26147 26149 24559 0 -1 64 23935 442 0 0 306 19 3 1 16 0 9 0 1309660777 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26149/tid=26153] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26153/stat : 26153 (java) S 26147 26149 24559 0 -1 64 22 442 0 0 0 0 3 1 16 0 9 0 1309660777 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26154] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26154/stat : 26154 (java) S 26147 26149 24559 0 -1 64 26 442 0 0 0 0 3 1 15 0 9 0 1309660777 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26155] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26155/stat : 26155 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 18 0 9 0 1309660779 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26156] ppid=26147 vsize=868104 CPUtime=0.42
/proc/26149/task/26156/stat : 26156 (java) S 26147 26149 24559 0 -1 64 1011 442 0 0 38 0 3 1 16 0 9 0 1309660779 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26157] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26157/stat : 26157 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 19 0 9 0 1309660780 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26158] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26158/stat : 26158 (java) S 26147 26149 24559 0 -1 64 32 442 0 0 0 0 3 1 15 0 9 0 1309660780 888938496 28877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.96
Current children cumulated vsize (KiB) 868104
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/81 26279
/proc/meminfo: memFree=1407344/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=868104 CPUtime=1708.64
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 57372 442 1 0 170801 59 3 1 18 0 9 0 1309660775 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 217026 28883 2637 9 0 211532 0
[pid=26149/tid=26150] ppid=26147 vsize=868104 CPUtime=1704.85
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 31552 442 1 0 170444 37 3 1 25 0 9 0 1309660776 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4127180814 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26149/tid=26152] ppid=26147 vsize=868104 CPUtime=3.39
/proc/26149/task/26152/stat : 26152 (java) S 26147 26149 24559 0 -1 64 23941 442 0 0 316 19 3 1 17 0 9 0 1309660777 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26149/tid=26153] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26153/stat : 26153 (java) S 26147 26149 24559 0 -1 64 22 442 0 0 0 0 3 1 16 0 9 0 1309660777 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26154] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26154/stat : 26154 (java) S 26147 26149 24559 0 -1 64 26 442 0 0 0 0 3 1 15 0 9 0 1309660777 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26155] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26155/stat : 26155 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 18 0 9 0 1309660779 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26156] ppid=26147 vsize=868104 CPUtime=0.42
/proc/26149/task/26156/stat : 26156 (java) S 26147 26149 24559 0 -1 64 1011 442 0 0 38 0 3 1 16 0 9 0 1309660779 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26157] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26157/stat : 26157 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 19 0 9 0 1309660780 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26158] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26158/stat : 26158 (java) S 26147 26149 24559 0 -1 64 32 442 0 0 0 0 3 1 15 0 9 0 1309660780 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.64
Current children cumulated vsize (KiB) 868104
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 26279
/proc/meminfo: memFree=1407344/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=868104 CPUtime=1768.31
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 57446 442 1 0 176767 60 3 1 18 0 9 0 1309660775 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 217026 28883 2637 9 0 211532 0
[pid=26149/tid=26150] ppid=26147 vsize=868104 CPUtime=1764.42
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 31626 442 1 0 176401 37 3 1 25 0 9 0 1309660776 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4127170715 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26149/tid=26152] ppid=26147 vsize=868104 CPUtime=3.5
/proc/26149/task/26152/stat : 26152 (java) S 26147 26149 24559 0 -1 64 23941 442 0 0 326 20 3 1 17 0 9 0 1309660777 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26149/tid=26153] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26153/stat : 26153 (java) S 26147 26149 24559 0 -1 64 22 442 0 0 0 0 3 1 16 0 9 0 1309660777 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26154] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26154/stat : 26154 (java) S 26147 26149 24559 0 -1 64 26 442 0 0 0 0 3 1 15 0 9 0 1309660777 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26155] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26155/stat : 26155 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 18 0 9 0 1309660779 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26156] ppid=26147 vsize=868104 CPUtime=0.42
/proc/26149/task/26156/stat : 26156 (java) S 26147 26149 24559 0 -1 64 1011 442 0 0 38 0 3 1 16 0 9 0 1309660779 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26157] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26157/stat : 26157 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 19 0 9 0 1309660780 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26158] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26158/stat : 26158 (java) S 26147 26149 24559 0 -1 64 32 442 0 0 0 0 3 1 15 0 9 0 1309660780 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.31
Current children cumulated vsize (KiB) 868104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.2 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 26279
/proc/meminfo: memFree=1407280/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=868104 CPUtime=1800.04
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 57485 442 1 0 179940 60 3 1 18 0 9 0 1309660775 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 217026 28883 2637 9 0 211532 0
[pid=26149/tid=26150] ppid=26147 vsize=868104 CPUtime=1796.09
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 31665 442 1 0 179568 37 3 1 25 0 9 0 1309660776 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4127180814 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26149/tid=26152] ppid=26147 vsize=868104 CPUtime=3.55
/proc/26149/task/26152/stat : 26152 (java) S 26147 26149 24559 0 -1 64 23941 442 0 0 331 20 3 1 17 0 9 0 1309660777 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26149/tid=26153] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26153/stat : 26153 (java) S 26147 26149 24559 0 -1 64 22 442 0 0 0 0 3 1 16 0 9 0 1309660777 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26154] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26154/stat : 26154 (java) S 26147 26149 24559 0 -1 64 26 442 0 0 0 0 3 1 15 0 9 0 1309660777 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26155] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26155/stat : 26155 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 18 0 9 0 1309660779 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26156] ppid=26147 vsize=868104 CPUtime=0.42
/proc/26149/task/26156/stat : 26156 (java) S 26147 26149 24559 0 -1 64 1011 442 0 0 38 0 3 1 16 0 9 0 1309660779 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26157] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26157/stat : 26157 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 19 0 9 0 1309660780 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26158] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26158/stat : 26158 (java) R 26147 26149 24559 0 -1 64 32 442 0 0 0 0 3 1 15 0 9 0 1309660780 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 868104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1814.2 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 26279
/proc/meminfo: memFree=1407280/2055920 swapFree=4122156/4192956
[pid=26149] ppid=26147 vsize=868104 CPUtime=1800.04
/proc/26149/stat : 26149 (java) S 26147 26149 24559 0 -1 0 57485 442 1 0 179940 60 3 1 18 0 9 0 1309660775 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26149/statm: 217026 28883 2637 9 0 211532 0
[pid=26149/tid=26150] ppid=26147 vsize=868104 CPUtime=1796.09
/proc/26149/task/26150/stat : 26150 (java) R 26147 26149 24559 0 -1 64 31665 442 1 0 179568 37 3 1 25 0 9 0 1309660776 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4127180814 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26149/tid=26152] ppid=26147 vsize=868104 CPUtime=3.55
/proc/26149/task/26152/stat : 26152 (java) S 26147 26149 24559 0 -1 64 23941 442 0 0 331 20 3 1 17 0 9 0 1309660777 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26149/tid=26153] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26153/stat : 26153 (java) S 26147 26149 24559 0 -1 64 22 442 0 0 0 0 3 1 16 0 9 0 1309660777 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26154] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26154/stat : 26154 (java) S 26147 26149 24559 0 -1 64 26 442 0 0 0 0 3 1 15 0 9 0 1309660777 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26155] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26155/stat : 26155 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 18 0 9 0 1309660779 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26156] ppid=26147 vsize=868104 CPUtime=0.42
/proc/26149/task/26156/stat : 26156 (java) S 26147 26149 24559 0 -1 64 1011 442 0 0 38 0 3 1 16 0 9 0 1309660779 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26157] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26157/stat : 26157 (java) S 26147 26149 24559 0 -1 64 1 442 0 0 0 0 3 1 19 0 9 0 1309660780 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26149/tid=26158] ppid=26147 vsize=868104 CPUtime=0.04
/proc/26149/task/26158/stat : 26158 (java) R 26147 26149 24559 0 -1 64 32 442 0 0 0 0 3 1 15 0 9 0 1309660780 888938496 28883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 868104
Child status: 143
Real time (s): 1814.28
CPU time (s): 1800.12
CPU user time (s): 1799.48
CPU system time (s): 0.636903
CPU usage (%): 99.2197
Max. virtual memory (cumulated for all children) (KiB): 868104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.636903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57960
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= 52415
involuntary context switches= 101116
runsolver used 2.32665 second user time and 5.97309 second system time
The end
Begin job on node20 at 2008-07-05 01:29:09
IDJOB=1080947
IDBENCH=57046
IDSOLVER=364
FILE ID=node20/1080947-1215214149
PBS_JOBID= 7881729
Free space on /tmp= 66496 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/js-taillard-20-15/normalized-js-taillard-20-15-105-9.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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080947-1215214149/watcher-1080947-1215214149 -o /tmp/evaluation-result-1080947-1215214149/solver-1080947-1215214149 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1080947-1215214149.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 5bbd1ffb651fc1a4ef8ce25488690080
RANDOM SEED=2101418089
node20.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.263
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.263
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: 1436328 kB
Buffers: 87280 kB
Cached: 287572 kB
SwapCached: 64700 kB
Active: 359676 kB
Inactive: 183140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1436328 kB
SwapTotal: 4192956 kB
SwapFree: 4122156 kB
Dirty: 2596 kB
Writeback: 0 kB
Mapped: 181444 kB
Slab: 61576 kB
Committed_AS: 3495632 kB
PageTables: 2132 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= 66496 MiB
End job on node20 at 2008-07-05 01:59:25