0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/235980-1168340711/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.83 nbVariables=343 nbDomainTypes=3 minDomainSize=2 maxDomainSize=20001
0.83 => wckTime=0.538 cpuTime=0.35 mem=139M59
0.83
0.83 predicates being loaded...
0.84
0.84 constraints being loaded...
1.21 nbConstraints=318 nbUnaryConstraints=2 nbSingletonDomainVariables=2 nbConvertedConstraints=62
1.21 nbConvertConstraintsChecks=240012 nbExtensionStructures=2 nbSharedExtensionStructures=60 nbConflictsStructures=4
1.21 nbSharedConflictsStructures=151 nbUnbuiltConflictsStructures=14 nbSharedBinaryRepresentations=40001
1.21 nbEvaluationManagers=17 nbSharedEvaluationManagers=239 maxDegree=14 maxArity=3
1.21 => wckTime=0.915 cpuTime=0.57 mem=140M956
1.25
1.25 solver IterativeSystematicSolver being built...
4.44 => wckTime=4.148 cpuTime=2.04 mem=539M168
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-235980-1168340711 -o ROOT/results/node17/solver-235980-1168340711 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235980-1168340711/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 2.00 2.00 2.00 4/94 12835
/proc/meminfo: memFree=1429152/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=172 CPUtime=0
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 182465865 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2859812 0 0 4096 0 0 0 0 17 0 0 0
/proc/12834/statm: 55 31 25 14 0 3 0
[startup+0.10822 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 12835
/proc/meminfo: memFree=1429152/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=914988 CPUtime=0.09
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 3077 0 1 0 8 1 0 0 22 0 8 0 182465865 936947712 2823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155770466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516262 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 12835
/proc/meminfo: memFree=1429152/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915328 CPUtime=0.5
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 16530 0 1 0 42 8 0 0 24 0 8 0 182465865 937295872 16268 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228832 16269 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33935 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 12842
/proc/meminfo: memFree=1231016/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=1.32
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 53892 0 1 0 107 25 0 0 25 0 8 0 182465865 937549824 53627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153440224 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228894 53627 2503 14 0 215364 0
[pid=12834/tid=12836] ppid=12832 vsize=915576 CPUtime=0.25
/proc/12834/task/12836/stat : 12836 (java) S 12832 12834 12021 0 -1 64 36949 0 0 0 12 13 0 0 16 0 8 0 182465868 937549824 53627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12837] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12837/stat : 12837 (java) S 12832 12834 12021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182465869 937549824 53627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12838] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12838/stat : 12838 (java) S 12832 12834 12021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 182465869 937549824 53627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12839] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12839/stat : 12839 (java) S 12832 12834 12021 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 182465872 937549824 53627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12840] ppid=12832 vsize=915576 CPUtime=0.17
/proc/12834/task/12840/stat : 12840 (java) S 12832 12834 12021 0 -1 64 365 0 0 0 16 1 0 0 15 0 8 0 182465872 937549824 53627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12841] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12841/stat : 12841 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182465872 937549824 53627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12842] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12842/stat : 12842 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182465872 937549824 53627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915576
[startup+2.99252 s]
/proc/loadavg: 2.08 2.02 2.01 4/101 12842
/proc/meminfo: memFree=1140200/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=2.98
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 90962 0 1 0 258 40 0 0 25 0 8 0 182465865 937549824 90693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228894 90695 2503 14 0 215364 0
[pid=12834/tid=12836] ppid=12832 vsize=915576 CPUtime=1.09
/proc/12834/task/12836/stat : 12836 (java) R 12832 12834 12021 0 -1 64 74015 0 0 0 81 28 0 0 16 0 8 0 182465868 937549824 90697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12837] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12837/stat : 12837 (java) S 12832 12834 12021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182465869 937549824 90699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12838] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12838/stat : 12838 (java) S 12832 12834 12021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 182465869 937549824 90701 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12839] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12839/stat : 12839 (java) S 12832 12834 12021 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 182465872 937549824 90703 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12840] ppid=12832 vsize=915576 CPUtime=0.17
/proc/12834/task/12840/stat : 12840 (java) S 12832 12834 12021 0 -1 64 369 0 0 0 16 1 0 0 15 0 8 0 182465872 937549824 90705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12841] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12841/stat : 12841 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182465872 937549824 90707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12842] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12842/stat : 12842 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182465872 937549824 90710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 915576
[startup+6.27686 s]
/proc/loadavg: 2.08 2.02 2.01 3/101 12842
/proc/meminfo: memFree=881256/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=6.25
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 139458 0 1 0 568 57 0 0 25 0 8 0 182465865 937549824 139184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480084 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228894 139184 2546 14 0 215364 0
[pid=12834/tid=12836] ppid=12832 vsize=915576 CPUtime=1.93
/proc/12834/task/12836/stat : 12836 (java) S 12832 12834 12021 0 -1 64 122411 0 0 0 147 46 0 0 17 0 8 0 182465868 937549824 139184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12837] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12837/stat : 12837 (java) S 12832 12834 12021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182465869 937549824 139184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12838] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12838/stat : 12838 (java) S 12832 12834 12021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 182465869 937549824 139184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12839] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12839/stat : 12839 (java) S 12832 12834 12021 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 182465872 937549824 139184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12840] ppid=12832 vsize=915576 CPUtime=0.2
/proc/12834/task/12840/stat : 12840 (java) S 12832 12834 12021 0 -1 64 385 0 0 0 19 1 0 0 15 0 8 0 182465872 937549824 139184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12841] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12841/stat : 12841 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182465872 937549824 139184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12842] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12842/stat : 12842 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182465872 937549824 139184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915576
[startup+12.7635 s]
/proc/loadavg: 2.07 2.02 2.00 3/101 12842
/proc/meminfo: memFree=881272/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=12.74
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 139462 0 1 0 1217 57 0 0 25 0 8 0 182465865 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073896567 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228894 139187 2546 14 0 215364 0
[pid=12834/tid=12836] ppid=12832 vsize=915576 CPUtime=1.93
/proc/12834/task/12836/stat : 12836 (java) S 12832 12834 12021 0 -1 64 122411 0 0 0 147 46 0 0 16 0 8 0 182465868 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12837] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12837/stat : 12837 (java) S 12832 12834 12021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182465869 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12838] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12838/stat : 12838 (java) S 12832 12834 12021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 182465869 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12839] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12839/stat : 12839 (java) S 12832 12834 12021 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 182465872 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12840] ppid=12832 vsize=915576 CPUtime=0.21
/proc/12834/task/12840/stat : 12840 (java) S 12832 12834 12021 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 182465872 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12841] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12841/stat : 12841 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182465872 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12842] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12842/stat : 12842 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182465872 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915576
[startup+25.5989 s]
/proc/loadavg: 2.06 2.01 2.00 3/101 12842
/proc/meminfo: memFree=881336/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=25.55
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 139462 0 1 0 2498 57 0 0 25 0 8 0 182465865 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073895155 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228894 139187 2546 14 0 215364 0
[pid=12834/tid=12836] ppid=12832 vsize=915576 CPUtime=1.93
/proc/12834/task/12836/stat : 12836 (java) S 12832 12834 12021 0 -1 64 122411 0 0 0 147 46 0 0 16 0 8 0 182465868 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12837] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12837/stat : 12837 (java) S 12832 12834 12021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182465869 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12838] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12838/stat : 12838 (java) S 12832 12834 12021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 182465869 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12839] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12839/stat : 12839 (java) S 12832 12834 12021 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 182465872 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12840] ppid=12832 vsize=915576 CPUtime=0.21
/proc/12834/task/12840/stat : 12840 (java) S 12832 12834 12021 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 182465872 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12841] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12841/stat : 12841 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182465872 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12842] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12842/stat : 12842 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182465872 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915576
[startup+51.2046 s]
/proc/loadavg: 2.09 2.03 2.01 3/101 12842
/proc/meminfo: memFree=881400/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=51.13
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 139462 0 1 0 5056 57 0 0 25 0 8 0 182465865 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073680278 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228894 139187 2546 14 0 215364 0
[pid=12834/tid=12836] ppid=12832 vsize=915576 CPUtime=1.93
/proc/12834/task/12836/stat : 12836 (java) S 12832 12834 12021 0 -1 64 122411 0 0 0 147 46 0 0 16 0 8 0 182465868 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12837] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12837/stat : 12837 (java) S 12832 12834 12021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182465869 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12838] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12838/stat : 12838 (java) S 12832 12834 12021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 182465869 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12839] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12839/stat : 12839 (java) S 12832 12834 12021 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 182465872 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12840] ppid=12832 vsize=915576 CPUtime=0.21
/proc/12834/task/12840/stat : 12840 (java) S 12832 12834 12021 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 182465872 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12841] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12841/stat : 12841 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182465872 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12842] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12842/stat : 12842 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182465872 937549824 139187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915576
[startup+102.409 s]
/proc/loadavg: 2.04 2.02 2.00 3/101 12842
/proc/meminfo: memFree=881336/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=102.29
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 139466 0 1 0 10172 57 0 0 25 0 8 0 182465865 937549824 139189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073680359 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228894 139189 2546 14 0 215364 0
[pid=12834/tid=12836] ppid=12832 vsize=915576 CPUtime=1.93
/proc/12834/task/12836/stat : 12836 (java) S 12832 12834 12021 0 -1 64 122411 0 0 0 147 46 0 0 16 0 8 0 182465868 937549824 139189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12837] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12837/stat : 12837 (java) S 12832 12834 12021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182465869 937549824 139189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12838] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12838/stat : 12838 (java) S 12832 12834 12021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 182465869 937549824 139189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12839] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12839/stat : 12839 (java) S 12832 12834 12021 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 182465872 937549824 139189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12840] ppid=12832 vsize=915576 CPUtime=0.21
/proc/12834/task/12840/stat : 12840 (java) S 12832 12834 12021 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 182465872 937549824 139189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12841] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12841/stat : 12841 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182465872 937549824 139189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12842] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12842/stat : 12842 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182465872 937549824 139189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 915576
[startup+162.46 s]
/proc/loadavg: 2.11 2.05 2.01 3/101 12842
/proc/meminfo: memFree=881464/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=162.28
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 139467 0 1 0 16170 58 0 0 25 0 8 0 182465865 937549824 139189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681500 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 915576
[startup+1483.88 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 13150
/proc/meminfo: memFree=871152/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=1482.32
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 139477 0 1 0 148166 66 0 0 25 0 8 0 182465865 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073709819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228894 139196 2546 14 0 215364 0
[pid=12834/tid=12836] ppid=12832 vsize=915576 CPUtime=1.93
/proc/12834/task/12836/stat : 12836 (java) S 12832 12834 12021 0 -1 64 122411 0 0 0 147 46 0 0 16 0 8 0 182465868 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12837] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12837/stat : 12837 (java) S 12832 12834 12021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182465869 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12838] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12838/stat : 12838 (java) S 12832 12834 12021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 182465869 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12839] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12839/stat : 12839 (java) S 12832 12834 12021 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12840] ppid=12832 vsize=915576 CPUtime=0.22
/proc/12834/task/12840/stat : 12840 (java) S 12832 12834 12021 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12841] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12841/stat : 12841 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12842] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12842/stat : 12842 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 915576
[startup+1543.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 13150
/proc/meminfo: memFree=871216/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=1542.32
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 139477 0 1 0 154165 67 0 0 25 0 8 0 182465865 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073708889 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228894 139196 2546 14 0 215364 0
[pid=12834/tid=12836] ppid=12832 vsize=915576 CPUtime=1.93
/proc/12834/task/12836/stat : 12836 (java) S 12832 12834 12021 0 -1 64 122411 0 0 0 147 46 0 0 16 0 8 0 182465868 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12837] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12837/stat : 12837 (java) S 12832 12834 12021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182465869 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12838] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12838/stat : 12838 (java) S 12832 12834 12021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 182465869 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12839] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12839/stat : 12839 (java) S 12832 12834 12021 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12840] ppid=12832 vsize=915576 CPUtime=0.22
/proc/12834/task/12840/stat : 12840 (java) S 12832 12834 12021 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12841] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12841/stat : 12841 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12842] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12842/stat : 12842 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 915576
[startup+1603.97 s]
/proc/loadavg: 2.05 2.01 2.00 3/101 13150
/proc/meminfo: memFree=871152/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=1602.29
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 139477 0 1 0 160162 67 0 0 25 0 8 0 182465865 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073708889 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228894 139196 2546 14 0 215364 0
[pid=12834/tid=12836] ppid=12832 vsize=915576 CPUtime=1.93
/proc/12834/task/12836/stat : 12836 (java) S 12832 12834 12021 0 -1 64 122411 0 0 0 147 46 0 0 16 0 8 0 182465868 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12837] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12837/stat : 12837 (java) S 12832 12834 12021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182465869 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12838] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12838/stat : 12838 (java) S 12832 12834 12021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 182465869 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12839] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12839/stat : 12839 (java) S 12832 12834 12021 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12840] ppid=12832 vsize=915576 CPUtime=0.22
/proc/12834/task/12840/stat : 12840 (java) S 12832 12834 12021 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12841] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12841/stat : 12841 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12842] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12842/stat : 12842 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 915576
[startup+1664.04 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 13150
/proc/meminfo: memFree=871088/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=1662.3
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 139477 0 1 0 166163 67 0 0 25 0 8 0 182465865 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073709824 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228894 139196 2546 14 0 215364 0
[pid=12834/tid=12836] ppid=12832 vsize=915576 CPUtime=1.93
/proc/12834/task/12836/stat : 12836 (java) S 12832 12834 12021 0 -1 64 122411 0 0 0 147 46 0 0 16 0 8 0 182465868 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12837] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12837/stat : 12837 (java) S 12832 12834 12021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182465869 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12838] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12838/stat : 12838 (java) S 12832 12834 12021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 182465869 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12839] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12839/stat : 12839 (java) S 12832 12834 12021 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12840] ppid=12832 vsize=915576 CPUtime=0.22
/proc/12834/task/12840/stat : 12840 (java) S 12832 12834 12021 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12841] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12841/stat : 12841 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12842] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12842/stat : 12842 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 915576
[startup+1724.08 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 13150
/proc/meminfo: memFree=871152/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=1722.29
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 139477 0 1 0 172162 67 0 0 25 0 8 0 182465865 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228894 139196 2546 14 0 215364 0
[pid=12834/tid=12836] ppid=12832 vsize=915576 CPUtime=1.93
/proc/12834/task/12836/stat : 12836 (java) S 12832 12834 12021 0 -1 64 122411 0 0 0 147 46 0 0 16 0 8 0 182465868 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12837] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12837/stat : 12837 (java) S 12832 12834 12021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182465869 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12838] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12838/stat : 12838 (java) S 12832 12834 12021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 182465869 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12839] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12839/stat : 12839 (java) S 12832 12834 12021 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12840] ppid=12832 vsize=915576 CPUtime=0.22
/proc/12834/task/12840/stat : 12840 (java) S 12832 12834 12021 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12841] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12841/stat : 12841 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12842] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12842/stat : 12842 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 915576
[startup+1784.13 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 13150
/proc/meminfo: memFree=871088/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=1782.27
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 139477 0 1 0 178160 67 0 0 25 0 8 0 182465865 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073711422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228894 139196 2546 14 0 215364 0
[pid=12834/tid=12836] ppid=12832 vsize=915576 CPUtime=1.93
/proc/12834/task/12836/stat : 12836 (java) S 12832 12834 12021 0 -1 64 122411 0 0 0 147 46 0 0 16 0 8 0 182465868 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12837] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12837/stat : 12837 (java) S 12832 12834 12021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182465869 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12838] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12838/stat : 12838 (java) S 12832 12834 12021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 182465869 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12839] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12839/stat : 12839 (java) S 12832 12834 12021 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12840] ppid=12832 vsize=915576 CPUtime=0.22
/proc/12834/task/12840/stat : 12840 (java) S 12832 12834 12021 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12841] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12841/stat : 12841 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12842] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12842/stat : 12842 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 915576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 13150
/proc/meminfo: memFree=871152/2055920 swapFree=4192812/4192956
[pid=12834] ppid=12832 vsize=915576 CPUtime=1800.04
/proc/12834/stat : 12834 (java) R 12832 12834 12021 0 -1 0 139477 0 1 0 179937 67 0 0 25 0 8 0 182465865 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073680192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12834/statm: 228894 139196 2546 14 0 215364 0
[pid=12834/tid=12836] ppid=12832 vsize=915576 CPUtime=1.93
/proc/12834/task/12836/stat : 12836 (java) S 12832 12834 12021 0 -1 64 122411 0 0 0 147 46 0 0 16 0 8 0 182465868 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12837] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12837/stat : 12837 (java) S 12832 12834 12021 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182465869 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12838] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12838/stat : 12838 (java) S 12832 12834 12021 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 182465869 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12839] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12839/stat : 12839 (java) S 12832 12834 12021 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12840] ppid=12832 vsize=915576 CPUtime=0.22
/proc/12834/task/12840/stat : 12840 (java) S 12832 12834 12021 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12841] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12841/stat : 12841 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12834/tid=12842] ppid=12832 vsize=915576 CPUtime=0
/proc/12834/task/12842/stat : 12842 (java) S 12832 12834 12021 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182465872 937549824 139196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.04
CPU time (s): 1800.16
CPU user time (s): 1799.41
CPU system time (s): 0.753885
CPU usage (%): 99.8961
Max. virtual memory (cumulated for all children) (KiB): 915576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.753885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139495
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= 37620
involuntary context switches= 52425
runsolver used 2.69059 s user time and 5.2872 s system time
The end
Begin job on node17 on Tue Jan 9 11:05:11 UTC 2007
IDJOB= 235980
IDBENCH= 6812
FILE ID= node17/235980-1168340711
PBS_JOBID= 3503137
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER1-1-fair.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235980-1168340711/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-235980-1168340711 -o ROOT/results/node17/solver-235980-1168340711 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235980-1168340711/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f5dfeb4988d14d4478035b02ab02301a
RANDOM SEED= 951655059
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1429632 kB
Buffers: 71548 kB
Cached: 375348 kB
SwapCached: 0 kB
Active: 259496 kB
Inactive: 299068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1429632 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1744 kB
Writeback: 0 kB
Mapped: 136228 kB
Slab: 52280 kB
Committed_AS: 6148624 kB
PageTables: 2456 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= 66553 MiB
End job on node17 on Tue Jan 9 11:35:13 UTC 2007