0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.29/0.32
0.29/0.32 instance
0.29/0.32 name=HOME/instance-1083089-1215224989.xml
0.29/0.35
0.29/0.35 domains being loaded...
0.29/0.37
0.29/0.37 variables being loaded...
0.48/0.59 nbVariables=450 nbDomainTypes=83 minDomainSize=1200 maxDomainSize=1298 nbTotalValues=562046
0.48/0.59 => wckTime=0.349 cpuTime=0.27 mem=20M612
0.48/0.59
0.48/0.59 predicates being loaded...
0.58/0.66
0.58/0.66 constraints being loaded...
20.59/20.85
20.59/20.85 INFO : Stopping converting binary constraints (cpu=20.08, mem = 54M252)
21.86/22.15 nbConstraints=5595 nbGlobalConstraints=5109 nbConvertedConstraints=120 nbConvertConstraintsChecks=100646375
21.86/22.15 nbExtensionStructures=65 nbSharedExtensionStructures=55 nbConflictsStructures=65 nbSharedConflictsStructures=55
21.86/22.15 nbUnbuiltConflictsStructures=146 nbSharedBinaryRepresentations=81669 nbEvaluationManagers=146
21.86/22.15 nbSharedEvaluationManagers=220 minDegree=16 maxDegree=34 minArity=2 avgArity=2.04 maxArity=16 nbGenerators=0
21.86/22.15 nbFusions=0 symmetryWckTime=1.193 symmetryCpuTime=0.85 nbCliques=15
21.86/22.15 => wckTime=21.91 cpuTime=20.99 mem=43M664
22.06/22.37
22.06/22.37 solver IterativeSystematicSolver being built...
22.16/22.47
22.16/22.47 INFO : Forward propagation technique limited
22.26/22.60 => wckTime=22.352 cpuTime=21.19 mem=81M78
50.18/50.78
50.18/50.78 preprocessing
50.18/50.78 nbConstraintChecks=149702810 nbValidityChecks=902268 nbPropagations=944 nbRevisions=2080
50.18/50.78 nbUselessRevisions=1392 nbRemovedValues=315056 detectedInconsistency=no
50.18/50.78 => wckTime=28.154 cpuTime=27.76 mem=64M592
61.69/62.38
61.69/62.38 INFO : Stopping use of transposition table (mapSize=82, nbTooLargekeys=26, mem=93M103)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1083089-1215224989/watcher-1083089-1215224989 -o /tmp/evaluation-result-1083089-1215224989/solver-1083089-1215224989 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1083089-1215224989.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: 2.23 2.14 2.04 4/81 765
/proc/meminfo: memFree=935208/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=1616 CPUtime=0
/proc/765/stat : 765 (java) R 763 765 31525 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 2001471898 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/765/statm: 404 148 122 9 0 46 0
[startup+0.0455611 s]
/proc/loadavg: 2.23 2.14 2.04 4/81 765
/proc/meminfo: memFree=935208/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=861876 CPUtime=0.03
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 2274 0 1 0 1 2 0 0 18 0 5 0 2001471898 882561024 1881 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 215469 1883 861 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876
[startup+0.105507 s]
/proc/loadavg: 2.23 2.14 2.04 4/81 765
/proc/meminfo: memFree=935208/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=865884 CPUtime=0.09
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 3783 0 1 0 7 2 0 0 18 0 9 0 2001471898 886665216 3234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 216471 3234 1716 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301528 s]
/proc/loadavg: 2.23 2.14 2.04 4/81 765
/proc/meminfo: memFree=935208/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=866196 CPUtime=0.29
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 5620 0 1 0 25 4 0 0 18 0 9 0 2001471898 886984704 5034 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 216549 5034 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866196
[startup+0.70156 s]
/proc/loadavg: 2.23 2.14 2.04 4/81 765
/proc/meminfo: memFree=935208/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=867096 CPUtime=0.68
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 10482 0 1 0 62 6 0 0 18 0 9 0 2001471898 887906304 9842 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 216774 9842 2006 9 0 211280 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867096
[startup+1.50163 s]
/proc/loadavg: 2.21 2.14 2.04 4/90 774
/proc/meminfo: memFree=890208/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=867684 CPUtime=1.48
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 14989 0 1 0 138 10 0 0 18 0 9 0 2001471898 888508416 14346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 216921 14346 2014 9 0 211427 0
[pid=765/tid=767] ppid=763 vsize=867684 CPUtime=1.26
/proc/765/task/767/stat : 767 (java) R 763 765 31525 0 -1 64 13616 0 1 0 118 8 0 0 25 0 9 0 2001471899 888508416 14346 996147200 134512640 134550740 4294955968 18446744073709551615 4126876784 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=768] ppid=763 vsize=867684 CPUtime=0
/proc/765/task/768/stat : 768 (java) S 763 765 31525 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 2001471901 888508416 14346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=769] ppid=763 vsize=867684 CPUtime=0
/proc/765/task/769/stat : 769 (java) S 763 765 31525 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2001471901 888508416 14346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=770] ppid=763 vsize=867684 CPUtime=0
/proc/765/task/770/stat : 770 (java) S 763 765 31525 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2001471901 888508416 14346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=771] ppid=763 vsize=867684 CPUtime=0
/proc/765/task/771/stat : 771 (java) S 763 765 31525 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001471903 888508416 14346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=772] ppid=763 vsize=867684 CPUtime=0.19
/proc/765/task/772/stat : 772 (java) S 763 765 31525 0 -1 64 675 0 0 0 19 0 0 0 16 0 9 0 2001471903 888508416 14346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=773] ppid=763 vsize=867684 CPUtime=0
/proc/765/task/773/stat : 773 (java) S 763 765 31525 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001471903 888508416 14346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=774] ppid=763 vsize=867684 CPUtime=0
/proc/765/task/774/stat : 774 (java) S 763 765 31525 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2001471903 888508416 14346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867684
[startup+3.10276 s]
/proc/loadavg: 2.21 2.14 2.04 3/90 774
/proc/meminfo: memFree=883488/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=867684 CPUtime=3.05
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 15819 0 1 0 294 11 0 0 18 0 9 0 2001471898 888508416 15175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 216921 15175 2014 9 0 211427 0
[pid=765/tid=767] ppid=763 vsize=867684 CPUtime=2.83
/proc/765/task/767/stat : 767 (java) R 763 765 31525 0 -1 64 14432 0 1 0 273 10 0 0 25 0 9 0 2001471899 888508416 15175 996147200 134512640 134550740 4294955968 18446744073709551615 4126897702 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=768] ppid=763 vsize=867684 CPUtime=0
/proc/765/task/768/stat : 768 (java) S 763 765 31525 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 2001471901 888508416 15175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=769] ppid=763 vsize=867684 CPUtime=0
/proc/765/task/769/stat : 769 (java) S 763 765 31525 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2001471901 888508416 15175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=770] ppid=763 vsize=867684 CPUtime=0
/proc/765/task/770/stat : 770 (java) S 763 765 31525 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2001471901 888508416 15175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=771] ppid=763 vsize=867684 CPUtime=0
/proc/765/task/771/stat : 771 (java) S 763 765 31525 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001471903 888508416 15175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=772] ppid=763 vsize=867684 CPUtime=0.21
/proc/765/task/772/stat : 772 (java) S 763 765 31525 0 -1 64 689 0 0 0 21 0 0 0 16 0 9 0 2001471903 888508416 15175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=773] ppid=763 vsize=867684 CPUtime=0
/proc/765/task/773/stat : 773 (java) S 763 765 31525 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001471903 888508416 15175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=774] ppid=763 vsize=867684 CPUtime=0
/proc/765/task/774/stat : 774 (java) S 763 765 31525 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2001471903 888508416 15175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867684
[startup+6.30205 s]
/proc/loadavg: 2.20 2.14 2.04 3/90 774
/proc/meminfo: memFree=876256/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=867596 CPUtime=6.23
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 22131 0 1 0 608 15 0 0 18 0 9 0 2001471898 888418304 21459 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 216899 21459 2005 9 0 211427 0
[pid=765/tid=767] ppid=763 vsize=867596 CPUtime=5.88
/proc/765/task/767/stat : 767 (java) R 763 765 31525 0 -1 64 15775 0 1 0 576 12 0 0 25 0 9 0 2001471899 888418304 21459 996147200 134512640 134550740 4294955968 18446744073709551615 4126458445 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=768] ppid=763 vsize=867596 CPUtime=0.1
/proc/765/task/768/stat : 768 (java) S 763 765 31525 0 -1 64 4963 0 0 0 9 1 0 0 16 0 9 0 2001471901 888418304 21459 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=769] ppid=763 vsize=867596 CPUtime=0
/proc/765/task/769/stat : 769 (java) S 763 765 31525 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2001471901 888418304 21459 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=770] ppid=763 vsize=867596 CPUtime=0
/proc/765/task/770/stat : 770 (java) S 763 765 31525 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2001471901 888418304 21459 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=771] ppid=763 vsize=867596 CPUtime=0
/proc/765/task/771/stat : 771 (java) S 763 765 31525 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001471903 888418304 21459 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=772] ppid=763 vsize=867596 CPUtime=0.22
/proc/765/task/772/stat : 772 (java) S 763 765 31525 0 -1 64 696 0 0 0 22 0 0 0 16 0 9 0 2001471903 888418304 21459 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=773] ppid=763 vsize=867596 CPUtime=0
/proc/765/task/773/stat : 773 (java) S 763 765 31525 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001471903 888418304 21459 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=774] ppid=763 vsize=867596 CPUtime=0
/proc/765/task/774/stat : 774 (java) S 763 765 31525 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2001471903 888418304 21459 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867596
[startup+12.7026 s]
/proc/loadavg: 2.18 2.14 2.04 3/90 774
/proc/meminfo: memFree=854048/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=867596 CPUtime=12.57
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 22149 0 1 0 1239 18 0 0 18 0 9 0 2001471898 888418304 21476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 216899 21476 2005 9 0 211427 0
[pid=765/tid=767] ppid=763 vsize=867596 CPUtime=12.19
/proc/765/task/767/stat : 767 (java) R 763 765 31525 0 -1 64 15780 0 1 0 1204 15 0 0 25 0 9 0 2001471899 888418304 21476 996147200 134512640 134550740 4294955968 18446744073709551615 4126897497 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=768] ppid=763 vsize=867596 CPUtime=0.1
/proc/765/task/768/stat : 768 (java) S 763 765 31525 0 -1 64 4963 0 0 0 9 1 0 0 17 0 9 0 2001471901 888418304 21476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=769] ppid=763 vsize=867596 CPUtime=0
/proc/765/task/769/stat : 769 (java) S 763 765 31525 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2001471901 888418304 21476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=770] ppid=763 vsize=867596 CPUtime=0
/proc/765/task/770/stat : 770 (java) S 763 765 31525 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2001471901 888418304 21476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=771] ppid=763 vsize=867596 CPUtime=0
/proc/765/task/771/stat : 771 (java) S 763 765 31525 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001471903 888418304 21476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=772] ppid=763 vsize=867596 CPUtime=0.25
/proc/765/task/772/stat : 772 (java) S 763 765 31525 0 -1 64 709 0 0 0 25 0 0 0 15 0 9 0 2001471903 888418304 21476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=773] ppid=763 vsize=867596 CPUtime=0
/proc/765/task/773/stat : 773 (java) S 763 765 31525 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001471903 888418304 21476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=774] ppid=763 vsize=867596 CPUtime=0
/proc/765/task/774/stat : 774 (java) S 763 765 31525 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2001471903 888418304 21476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867596
[startup+25.5017 s]
/proc/loadavg: 2.14 2.13 2.04 4/90 778
/proc/meminfo: memFree=820064/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=868008 CPUtime=25.23
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 62421 601 1 0 2481 36 5 1 18 0 9 0 2001471898 888840192 29992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 217002 29992 2638 9 0 211508 0
[pid=765/tid=767] ppid=763 vsize=868008 CPUtime=24.3
/proc/765/task/767/stat : 767 (java) R 763 765 31525 0 -1 64 28291 601 1 0 2399 25 5 1 25 0 9 0 2001471899 888840192 29992 996147200 134512640 134550740 4294955968 18446744073709551615 4127100674 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=768] ppid=763 vsize=868008 CPUtime=0.58
/proc/765/task/768/stat : 768 (java) S 763 765 31525 0 -1 64 32349 601 0 0 45 7 5 1 17 0 9 0 2001471901 888840192 29992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=769] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/769/stat : 769 (java) S 763 765 31525 0 -1 64 23 601 0 0 0 0 5 1 17 0 9 0 2001471901 888840192 29992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=770] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/770/stat : 770 (java) S 763 765 31525 0 -1 64 19 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 29992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=771] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/771/stat : 771 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 18 0 9 0 2001471903 888840192 29992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=772] ppid=763 vsize=868008 CPUtime=0.42
/proc/765/task/772/stat : 772 (java) S 763 765 31525 0 -1 64 930 601 0 0 36 0 5 1 16 0 9 0 2001471903 888840192 29992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=773] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/773/stat : 773 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 19 0 9 0 2001471903 888840192 29992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=774] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/774/stat : 774 (java) S 763 765 31525 0 -1 64 9 601 0 0 0 0 5 1 15 0 9 0 2001471903 888840192 29992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 868008
[startup+51.102 s]
/proc/loadavg: 2.17 2.13 2.04 3/90 778
/proc/meminfo: memFree=796960/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=868008 CPUtime=50.58
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 69818 601 1 0 5013 39 5 1 18 0 9 0 2001471898 888840192 34570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 217002 34570 2638 9 0 211508 0
[pid=765/tid=767] ppid=763 vsize=868008 CPUtime=49.57
/proc/765/task/767/stat : 767 (java) R 763 765 31525 0 -1 64 29787 601 1 0 4926 25 5 1 25 0 9 0 2001471899 888840192 34570 996147200 134512640 134550740 4294955968 18446744073709551615 4127281295 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=768] ppid=763 vsize=868008 CPUtime=0.66
/proc/765/task/768/stat : 768 (java) S 763 765 31525 0 -1 64 38234 601 0 0 49 11 5 1 16 0 9 0 2001471901 888840192 34570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=769] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/769/stat : 769 (java) S 763 765 31525 0 -1 64 23 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 34570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=770] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/770/stat : 770 (java) S 763 765 31525 0 -1 64 26 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 34570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=771] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/771/stat : 771 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 18 0 9 0 2001471903 888840192 34570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=772] ppid=763 vsize=868008 CPUtime=0.43
/proc/765/task/772/stat : 772 (java) S 763 765 31525 0 -1 64 937 601 0 0 37 0 5 1 16 0 9 0 2001471903 888840192 34570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=773] ppid=763 vsize=868008 CPUtime=0.06
################
# More data... #
################
/proc/765/task/770/stat : 770 (java) S 763 765 31525 0 -1 64 26 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 36753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=771] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/771/stat : 771 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 18 0 9 0 2001471903 888840192 36753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=772] ppid=763 vsize=868008 CPUtime=0.53
/proc/765/task/772/stat : 772 (java) S 763 765 31525 0 -1 64 986 601 0 0 46 1 5 1 16 0 9 0 2001471903 888840192 36753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=773] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/773/stat : 773 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 19 0 9 0 2001471903 888840192 36753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=774] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/774/stat : 774 (java) S 763 765 31525 0 -1 64 11 601 0 0 0 0 5 1 15 0 9 0 2001471903 888840192 36753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.85
Current children cumulated vsize (KiB) 868008
[startup+1602.3 s]
/proc/loadavg: 2.00 2.07 2.11 3/89 817
/proc/meminfo: memFree=1548584/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=868008 CPUtime=1587.28
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 72547 601 1 0 158666 56 5 1 18 0 9 0 2001471898 888840192 36753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 217002 36753 2638 9 0 211508 0
[pid=765/tid=767] ppid=763 vsize=868008 CPUtime=1585.56
/proc/765/task/767/stat : 767 (java) R 763 765 31525 0 -1 64 30058 601 1 0 158512 38 5 1 25 0 9 0 2001471899 888840192 36753 996147200 134512640 134550740 4294955968 18446744073709551615 4127242533 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=768] ppid=763 vsize=868008 CPUtime=1.27
/proc/765/task/768/stat : 768 (java) S 763 765 31525 0 -1 64 40643 601 0 0 107 14 5 1 16 0 9 0 2001471901 888840192 36753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=769] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/769/stat : 769 (java) S 763 765 31525 0 -1 64 23 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 36753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=770] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/770/stat : 770 (java) S 763 765 31525 0 -1 64 26 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 36753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=771] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/771/stat : 771 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 18 0 9 0 2001471903 888840192 36753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=772] ppid=763 vsize=868008 CPUtime=0.53
/proc/765/task/772/stat : 772 (java) S 763 765 31525 0 -1 64 986 601 0 0 46 1 5 1 16 0 9 0 2001471903 888840192 36753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=773] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/773/stat : 773 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 19 0 9 0 2001471903 888840192 36753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=774] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/774/stat : 774 (java) S 763 765 31525 0 -1 64 11 601 0 0 0 0 5 1 15 0 9 0 2001471903 888840192 36753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.28
Current children cumulated vsize (KiB) 868008
[startup+1662.3 s]
/proc/loadavg: 2.00 2.06 2.10 3/89 817
/proc/meminfo: memFree=1548584/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=868008 CPUtime=1646.72
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 72573 601 1 0 164610 56 5 1 18 0 9 0 2001471898 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 217002 36757 2638 9 0 211508 0
[pid=765/tid=767] ppid=763 vsize=868008 CPUtime=1644.96
/proc/765/task/767/stat : 767 (java) R 763 765 31525 0 -1 64 30080 601 1 0 164452 38 5 1 25 0 9 0 2001471899 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4126960316 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=768] ppid=763 vsize=868008 CPUtime=1.31
/proc/765/task/768/stat : 768 (java) S 763 765 31525 0 -1 64 40647 601 0 0 111 14 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=769] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/769/stat : 769 (java) S 763 765 31525 0 -1 64 23 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=770] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/770/stat : 770 (java) S 763 765 31525 0 -1 64 26 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=771] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/771/stat : 771 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 18 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=772] ppid=763 vsize=868008 CPUtime=0.53
/proc/765/task/772/stat : 772 (java) S 763 765 31525 0 -1 64 986 601 0 0 46 1 5 1 16 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=773] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/773/stat : 773 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 19 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=774] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/774/stat : 774 (java) S 763 765 31525 0 -1 64 11 601 0 0 0 0 5 1 15 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.72
Current children cumulated vsize (KiB) 868008
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.09 3/89 817
/proc/meminfo: memFree=1548520/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=868008 CPUtime=1706.16
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 72579 601 1 0 170554 56 5 1 18 0 9 0 2001471898 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 217002 36757 2638 9 0 211508 0
[pid=765/tid=767] ppid=763 vsize=868008 CPUtime=1704.38
/proc/765/task/767/stat : 767 (java) R 763 765 31525 0 -1 64 30086 601 1 0 170394 38 5 1 25 0 9 0 2001471899 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4126875428 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=768] ppid=763 vsize=868008 CPUtime=1.33
/proc/765/task/768/stat : 768 (java) S 763 765 31525 0 -1 64 40647 601 0 0 113 14 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=769] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/769/stat : 769 (java) S 763 765 31525 0 -1 64 23 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=770] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/770/stat : 770 (java) S 763 765 31525 0 -1 64 26 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=771] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/771/stat : 771 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 18 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=772] ppid=763 vsize=868008 CPUtime=0.53
/proc/765/task/772/stat : 772 (java) S 763 765 31525 0 -1 64 986 601 0 0 46 1 5 1 16 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=773] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/773/stat : 773 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 19 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=774] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/774/stat : 774 (java) S 763 765 31525 0 -1 64 11 601 0 0 0 0 5 1 15 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.16
Current children cumulated vsize (KiB) 868008
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/89 817
/proc/meminfo: memFree=1548328/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=868008 CPUtime=1765.59
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 72585 601 1 0 176497 56 5 1 18 0 9 0 2001471898 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 217002 36757 2638 9 0 211508 0
[pid=765/tid=767] ppid=763 vsize=868008 CPUtime=1763.8
/proc/765/task/767/stat : 767 (java) R 763 765 31525 0 -1 64 30092 601 1 0 176336 38 5 1 25 0 9 0 2001471899 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4127228962 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=768] ppid=763 vsize=868008 CPUtime=1.35
/proc/765/task/768/stat : 768 (java) S 763 765 31525 0 -1 64 40647 601 0 0 114 15 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=769] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/769/stat : 769 (java) S 763 765 31525 0 -1 64 23 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=770] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/770/stat : 770 (java) S 763 765 31525 0 -1 64 26 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=771] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/771/stat : 771 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 18 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=772] ppid=763 vsize=868008 CPUtime=0.53
/proc/765/task/772/stat : 772 (java) S 763 765 31525 0 -1 64 986 601 0 0 46 1 5 1 16 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=773] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/773/stat : 773 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 19 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=774] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/774/stat : 774 (java) S 763 765 31525 0 -1 64 11 601 0 0 0 0 5 1 15 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1765.59
Current children cumulated vsize (KiB) 868008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.1 s]
/proc/loadavg: 2.00 2.03 2.08 3/89 817
/proc/meminfo: memFree=1548328/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=868008 CPUtime=1800.08
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 72588 601 1 0 179945 57 5 1 18 0 9 0 2001471898 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 217002 36757 2638 9 0 211508 0
[pid=765/tid=767] ppid=763 vsize=868008 CPUtime=1798.27
/proc/765/task/767/stat : 767 (java) R 763 765 31525 0 -1 64 30095 601 1 0 179783 38 5 1 25 0 9 0 2001471899 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4127100653 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=768] ppid=763 vsize=868008 CPUtime=1.35
/proc/765/task/768/stat : 768 (java) S 763 765 31525 0 -1 64 40647 601 0 0 114 15 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=769] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/769/stat : 769 (java) S 763 765 31525 0 -1 64 23 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=770] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/770/stat : 770 (java) S 763 765 31525 0 -1 64 26 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=771] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/771/stat : 771 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 18 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=772] ppid=763 vsize=868008 CPUtime=0.53
/proc/765/task/772/stat : 772 (java) S 763 765 31525 0 -1 64 986 601 0 0 46 1 5 1 16 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=773] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/773/stat : 773 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 19 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=774] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/774/stat : 774 (java) S 763 765 31525 0 -1 64 11 601 0 0 0 0 5 1 15 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 868008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1817.1 s]
/proc/loadavg: 2.00 2.03 2.08 3/89 817
/proc/meminfo: memFree=1548328/2055920 swapFree=4180688/4192956
[pid=765] ppid=763 vsize=868008 CPUtime=1800.08
/proc/765/stat : 765 (java) S 763 765 31525 0 -1 0 72588 601 1 0 179945 57 5 1 18 0 9 0 2001471898 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/765/statm: 217002 36757 2638 9 0 211508 0
[pid=765/tid=767] ppid=763 vsize=868008 CPUtime=1798.27
/proc/765/task/767/stat : 767 (java) R 763 765 31525 0 -1 64 30095 601 1 0 179783 38 5 1 25 0 9 0 2001471899 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4127100653 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=768] ppid=763 vsize=868008 CPUtime=1.35
/proc/765/task/768/stat : 768 (java) S 763 765 31525 0 -1 64 40647 601 0 0 114 15 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=769] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/769/stat : 769 (java) S 763 765 31525 0 -1 64 23 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=770] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/770/stat : 770 (java) S 763 765 31525 0 -1 64 26 601 0 0 0 0 5 1 16 0 9 0 2001471901 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=771] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/771/stat : 771 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 18 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=772] ppid=763 vsize=868008 CPUtime=0.53
/proc/765/task/772/stat : 772 (java) S 763 765 31525 0 -1 64 986 601 0 0 46 1 5 1 16 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=773] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/773/stat : 773 (java) S 763 765 31525 0 -1 64 1 601 0 0 0 0 5 1 19 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=765/tid=774] ppid=763 vsize=868008 CPUtime=0.06
/proc/765/task/774/stat : 774 (java) S 763 765 31525 0 -1 64 11 601 0 0 0 0 5 1 15 0 9 0 2001471903 888840192 36757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 868008
Child status: 143
Real time (s): 1817.18
CPU time (s): 1800.16
CPU user time (s): 1799.55
CPU system time (s): 0.609907
CPU usage (%): 99.0636
Max. virtual memory (cumulated for all children) (KiB): 868008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.609907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73222
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= 40415
involuntary context switches= 81468
runsolver used 2.02969 second user time and 6.24805 second system time
The end
Begin job on node41 at 2008-07-05 04:29:49
IDJOB=1083089
IDBENCH=57406
IDSOLVER=363
FILE ID=node41/1083089-1215224989
PBS_JOBID= 7881816
Free space on /tmp= 66044 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-15.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1083089-1215224989/watcher-1083089-1215224989 -o /tmp/evaluation-result-1083089-1215224989/solver-1083089-1215224989 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1083089-1215224989.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d4b8a3518de3d7b3c2da5e05ff268d86
RANDOM SEED=2009721936
node41.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.232
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.232
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: 935688 kB
Buffers: 35108 kB
Cached: 289416 kB
SwapCached: 6228 kB
Active: 932828 kB
Inactive: 132756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 935688 kB
SwapTotal: 4192956 kB
SwapFree: 4180688 kB
Dirty: 24976 kB
Writeback: 0 kB
Mapped: 757412 kB
Slab: 38668 kB
Committed_AS: 4355852 kB
PageTables: 3208 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= 66148 MiB
End job on node41 at 2008-07-05 05:00:08