0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/237772-1168350865/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.54 nbVariables=1156 nbDomainTypes=1 minDomainSize=34 maxDomainSize=34
0.54 => wckTime=0.209 cpuTime=0.16 mem=9M813
0.54
0.54 predicates being loaded...
0.54
0.54 constraints being loaded...
2.96 nbConstraints=19107 nbConvertedConstraints=19107 nbConvertConstraintsChecks=4624 nbExtensionStructures=4
2.96 nbSharedExtensionStructures=19103 nbConflictsStructures=4 nbSharedConflictsStructures=19103
2.96 nbSharedBinaryRepresentations=203 maxDegree=34 maxArity=2
2.96 => wckTime=2.63 cpuTime=2.27 mem=29M666
3.10
3.10 solver IterativeSystematicSolver being built...
3.36 => wckTime=3.037 cpuTime=2.48 mem=34M312
4.26
4.26 preprocessing
4.26 nbConstraintChecks=616032 nbPropagations=27299 nbRevisions=27807 nbUselessRevisions=2651 nbSingletonTests=1376
4.26 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
4.26 => wckTime=0.88 cpuTime=0.83 mem=34M312
4.47
4.47 search
4.47 run=0 nbConstraintChecks=78511 nbPropagations=30241 nbRevisions=30759 nbUselessRevisions=2719
4.47 nbAssignments=115 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=134 nbRestartNogoods=0 mapSize=11
4.47 nbInferences=0 nbTooLargeKeys=0
4.47 => wckTime=1.1 cpuTime=1.04 mem=35M320
4.60
4.60 search
4.60 run=1 nbConstraintChecks=154826 nbPropagations=63417 nbRevisions=64490 nbUselessRevisions=5517
4.60 nbAssignments=238 nbFailedAssignments=23 nbBacktracks=26 nbVisitedNodes=285 nbRestartNogoods=3 mapSize=26
4.60 nbInferences=0 nbTooLargeKeys=0
4.60 => wckTime=1.231 cpuTime=1.16 mem=35M320
4.72
4.72 search
4.72 run=2 nbConstraintChecks=231427 nbPropagations=99594 nbRevisions=101267 nbUselessRevisions=8398
4.72 nbAssignments=374 nbFailedAssignments=43 nbBacktracks=48 nbVisitedNodes=461 nbRestartNogoods=6 mapSize=48
4.72 nbInferences=0 nbTooLargeKeys=0
4.72 => wckTime=1.348 cpuTime=1.27 mem=36M329
4.85
4.85 search
4.85 run=3 nbConstraintChecks=308287 nbPropagations=138853 nbRevisions=141169 nbUselessRevisions=11362
4.85 nbAssignments=529 nbFailedAssignments=70 nbBacktracks=81 nbVisitedNodes=671 nbRestartNogoods=11 mapSize=81
4.85 nbInferences=1 nbTooLargeKeys=0
4.85 => wckTime=1.482 cpuTime=1.4 mem=37M337
5.00
5.00 search
5.00 run=4 nbConstraintChecks=385582 nbPropagations=181329 nbRevisions=184326 nbUselessRevisions=14410
5.00 nbAssignments=714 nbFailedAssignments=107 nbBacktracks=132 nbVisitedNodes=935 nbRestartNogoods=15 mapSize=132
5.00 nbInferences=6 nbTooLargeKeys=0
5.00 => wckTime=1.628 cpuTime=1.55 mem=38M346
5.17
5.17 search
5.17 run=5 nbConstraintChecks=463586 nbPropagations=227251 nbRevisions=230943 nbUselessRevisions=17542
5.18 nbAssignments=947 nbFailedAssignments=156 nbBacktracks=207 nbVisitedNodes=1283 nbRestartNogoods=19 mapSize=207
5.18 nbInferences=23 nbTooLargeKeys=0
5.18 => wckTime=1.805 cpuTime=1.72 mem=39M355
5.39
5.39 search
5.39 run=6 nbConstraintChecks=542394 nbPropagations=276938 nbRevisions=281333 nbUselessRevisions=20763
5.39 nbAssignments=1251 nbFailedAssignments=231 nbBacktracks=321 nbVisitedNodes=1759 nbRestartNogoods=21
5.39 mapSize=321 nbInferences=45 nbTooLargeKeys=0
5.39 => wckTime=2.018 cpuTime=1.93 mem=40M363
5.67
5.67 search
5.67 run=7 nbConstraintChecks=622559 nbPropagations=330890 nbRevisions=335957 nbUselessRevisions=24075
5.67 nbAssignments=1664 nbFailedAssignments=338 nbBacktracks=491 nbVisitedNodes=2428 nbRestartNogoods=27
5.67 mapSize=491 nbInferences=87 nbTooLargeKeys=0
5.67 => wckTime=2.296 cpuTime=2.19 mem=42M380
6.03
6.03 search
6.03 run=8 nbConstraintChecks=704839 nbPropagations=389890 nbRevisions=395519 nbUselessRevisions=27480
6.03 nbAssignments=2247 nbFailedAssignments=489 nbBacktracks=747 nbVisitedNodes=3396 nbRestartNogoods=35
6.03 mapSize=747 nbInferences=170 nbTooLargeKeys=0
6.03 => wckTime=2.659 cpuTime=2.54 mem=45M406
6.53
6.53 search
6.53 run=9 nbConstraintChecks=790653 nbPropagations=455222 nbRevisions=461159 nbUselessRevisions=30981
6.53 nbAssignments=3099 nbFailedAssignments=707 nbBacktracks=1131 nbVisitedNodes=4840 nbRestartNogoods=42
6.53 mapSize=1131 nbInferences=326 nbTooLargeKeys=0
6.53 => wckTime=3.163 cpuTime=3.04 mem=49M441
7.30
7.30 search
7.30 run=10 nbConstraintChecks=881679 nbPropagations=528887 nbRevisions=534591 nbUselessRevisions=34578
7.30 nbAssignments=4378 nbFailedAssignments=1017 nbBacktracks=1708 nbVisitedNodes=7040 nbRestartNogoods=47
7.30 mapSize=1708 nbInferences=627 nbTooLargeKeys=0
7.30 => wckTime=3.928 cpuTime=3.79 mem=56M501
8.20
8.20 search
8.20 run=11 nbConstraintChecks=984887 nbPropagations=612563 nbRevisions=617888 nbUselessRevisions=38388
8.20 nbAssignments=6030 nbFailedAssignments=1565 nbBacktracks=2572 nbVisitedNodes=9954 nbRestartNogoods=50
8.20 mapSize=2563 nbInferences=793 nbTooLargeKeys=0
8.20 => wckTime=4.827 cpuTime=4.68 mem=63M561
9.82
9.82 search
9.82 run=12 nbConstraintChecks=1158509 nbPropagations=713801 nbRevisions=717485 nbUselessRevisions=42337
9.82 nbAssignments=8851 nbFailedAssignments=2272 nbBacktracks=3869 nbVisitedNodes=14772 nbRestartNogoods=55
9.82 mapSize=3856 nbInferences=1451 nbTooLargeKeys=0
9.82 => wckTime=6.453 cpuTime=6.26 mem=50M593
11.87
11.87 search
11.87 run=13 nbConstraintChecks=1380842 nbPropagations=843041 nbRevisions=842283 nbUselessRevisions=46818
11.87 nbAssignments=13535 nbFailedAssignments=3186 nbBacktracks=5816 nbVisitedNodes=22909 nbRestartNogoods=60
11.87 mapSize=5767 nbInferences=3161 nbTooLargeKeys=0
11.87 => wckTime=8.496 cpuTime=8.28 mem=54M656
15.78
15.78 search
15.78 run=14 nbConstraintChecks=1675128 nbPropagations=1012907 nbRevisions=1002693 nbUselessRevisions=52133
15.78 nbAssignments=20644 nbFailedAssignments=4344 nbBacktracks=8735 nbVisitedNodes=35242 nbRestartNogoods=66
15.78 mapSize=8642 nbInferences=6070 nbTooLargeKeys=0
15.78 => wckTime=12.411 cpuTime=12.09 mem=63M13
23.74
23.74 search
23.74 run=15 nbConstraintChecks=2207871 nbPropagations=1263238 nbRevisions=1230732 nbUselessRevisions=58853
23.74 nbAssignments=33744 nbFailedAssignments=5697 nbBacktracks=13113 nbVisitedNodes=57919 nbRestartNogoods=75
23.74 mapSize=12988 nbInferences=13128 nbTooLargeKeys=0
23.74 => wckTime=20.37 cpuTime=19.93 mem=115M616
35.98
35.98 search
35.98 run=16 nbConstraintChecks=3155291 nbPropagations=1638254 nbRevisions=1564147 nbUselessRevisions=67635
35.98 nbAssignments=53524 nbFailedAssignments=7674 nbBacktracks=19682 nbVisitedNodes=91528 nbRestartNogoods=97
35.98 mapSize=19523 nbInferences=23621 nbTooLargeKeys=0
35.98 => wckTime=32.607 cpuTime=31.92 mem=143M2
56.98
56.98 search
56.98 run=17 nbConstraintChecks=4071655 nbPropagations=2207482 nbRevisions=2054676 nbUselessRevisions=79547
56.98 nbAssignments=86287 nbFailedAssignments=9980 nbBacktracks=29534 nbVisitedNodes=149141 nbRestartNogoods=114
56.98 mapSize=29338 nbInferences=43982 nbTooLargeKeys=0
56.98 => wckTime=53.61 cpuTime=52.53 mem=232M954
83.44
83.44 search
83.44 run=18 nbConstraintChecks=5314958 nbPropagations=3033457 nbRevisions=2756001 nbUselessRevisions=94368
83.44 nbAssignments=130574 nbFailedAssignments=14502 nbBacktracks=44312 nbVisitedNodes=226572 nbRestartNogoods=126
83.44 mapSize=44081 nbInferences=68448 nbTooLargeKeys=0
83.44 => wckTime=80.07 cpuTime=78.48 mem=309M424
133.40
133.40 search
133.40 run=19 nbConstraintChecks=7509501 nbPropagations=4348957 nbRevisions=3851289 nbUselessRevisions=118341
133.40 nbAssignments=210380 nbFailedAssignments=18854 nbBacktracks=66480 nbVisitedNodes=367656 nbRestartNogoods=142
133.40 mapSize=66167 nbInferences=121302 nbTooLargeKeys=0
133.40 => wckTime=130.03 cpuTime=127.56 mem=491M60
171.95
171.95 INFO : Stopping hyperNogood (mapSize=80990, nbTooLargekeys=0, mem=601M602)
181.03
181.03 search
181.03 run=20 nbConstraintChecks=10972462 nbPropagations=6240473 nbRevisions=5449642 nbUselessRevisions=152119
181.03 nbAssignments=302817 nbFailedAssignments=34373 nbBacktracks=99732 nbVisitedNodes=530422 nbRestartNogoods=169
181.03 => wckTime=177.665 cpuTime=174.47 mem=601M602
205.10
205.10 search
205.10 run=21 nbConstraintChecks=12741632 nbPropagations=8531389 nbRevisions=7471023 nbUselessRevisions=209032
205.10 nbAssignments=387132 nbFailedAssignments=68622 nbBacktracks=149610 nbVisitedNodes=683233 nbRestartNogoods=189
205.10 => wckTime=201.734 cpuTime=198.32 mem=601M602
240.87
240.87 search
240.87 run=22 nbConstraintChecks=14705672 nbPropagations=11406101 nbRevisions=10078411 nbUselessRevisions=268498
240.87 nbAssignments=514162 nbFailedAssignments=120303 nbBacktracks=224428 nbVisitedNodes=913280 nbRestartNogoods=220
240.87 => wckTime=237.502 cpuTime=233.76 mem=601M602
294.88
294.88 search
294.88 run=23 nbConstraintChecks=17414988 nbPropagations=15150175 nbRevisions=13556439 nbUselessRevisions=329771
294.88 nbAssignments=704855 nbFailedAssignments=198053 nbBacktracks=336657 nbVisitedNodes=1258941 nbRestartNogoods=241
294.88 => wckTime=291.513 cpuTime=287.27 mem=601M602
375.07
375.07 search
375.07 run=24 nbConstraintChecks=20994594 nbPropagations=20178335 nbRevisions=18320860 nbUselessRevisions=393498
375.07 nbAssignments=989945 nbFailedAssignments=314419 nbBacktracks=504998 nbVisitedNodes=1776563 nbRestartNogoods=261
375.07 => wckTime=371.704 cpuTime=366.73 mem=601M602
487.18
487.18 search
487.18 run=25 nbConstraintChecks=26404080 nbPropagations=27129756 nbRevisions=25020401 nbUselessRevisions=466206
487.18 nbAssignments=1416615 nbFailedAssignments=488167 nbBacktracks=757509 nbVisitedNodes=2550530
487.18 nbRestartNogoods=287
487.18 => wckTime=483.814 cpuTime=477.98 mem=601M602
645.63
645.67 search
645.67 run=26 nbConstraintChecks=34460934 nbPropagations=36967786 nbRevisions=34610594 nbUselessRevisions=543914
645.67 nbAssignments=2057110 nbFailedAssignments=748649 nbBacktracks=1136277 nbVisitedNodes=3710958
645.67 nbRestartNogoods=321
645.67 => wckTime=642.261 cpuTime=636.39 mem=601M602
884.40
884.40 search
884.40 run=27 nbConstraintChecks=46074713 nbPropagations=51128985 nbRevisions=48537119 nbUselessRevisions=631752
884.40 nbAssignments=3019647 nbFailedAssignments=1142001 nbBacktracks=1704428 nbVisitedNodes=5459380
884.40 nbRestartNogoods=346
884.40 => wckTime=881.034 cpuTime=875.09 mem=601M602
1317.90
1317.90 search
1317.90 run=28 nbConstraintChecks=627238745 nbPropagations=77292483 nbRevisions=90489060 nbUselessRevisions=2639128
1317.90 nbAssignments=4485375 nbFailedAssignments=1755060 nbBacktracks=2556654 nbVisitedNodes=8085389
1317.90 nbRestartNogoods=370
1317.90 => wckTime=1314.533 cpuTime=1308.47 mem=602M617
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-237772-1168350865 -o ROOT/results/node39/solver-237772-1168350865 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237772-1168350865/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.08 2.07 2.01 4/82 8509
/proc/meminfo: memFree=1085184/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=18540 CPUtime=0
/proc/8508/stat : 8508 (runsolver) R 8506 8508 8239 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 183486105 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/8508/statm: 4635 279 244 17 0 2626 0
[startup+0.106888 s]
/proc/loadavg: 2.08 2.07 2.01 4/82 8509
/proc/meminfo: memFree=1085184/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=914988 CPUtime=0.08
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 2974 0 1 0 7 1 0 0 17 0 8 0 183486105 936947712 2720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153552461 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8508/statm: 228747 2720 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515923 s]
/proc/loadavg: 2.08 2.07 2.01 4/82 8509
/proc/meminfo: memFree=1085184/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915328 CPUtime=0.48
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 6481 0 1 0 45 3 0 0 18 0 8 0 183486105 937295872 6220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8508/statm: 228832 6220 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.344 s]
/proc/loadavg: 2.08 2.07 2.01 3/89 8516
/proc/meminfo: memFree=1023048/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915628 CPUtime=1.31
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 17933 0 1 0 121 10 0 0 25 0 8 0 183486105 937603072 17671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8508/statm: 228907 17671 2180 14 0 215377 0
[pid=8508/tid=8510] ppid=8506 vsize=915628 CPUtime=0.05
/proc/8508/task/8510/stat : 8510 (java) S 8506 8508 8239 0 -1 64 1340 0 0 0 5 0 0 0 17 0 8 0 183486109 937603072 17671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8511] ppid=8506 vsize=915628 CPUtime=0
/proc/8508/task/8511/stat : 8511 (java) S 8506 8508 8239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183486110 937603072 17671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8512] ppid=8506 vsize=915628 CPUtime=0
/proc/8508/task/8512/stat : 8512 (java) S 8506 8508 8239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183486110 937603072 17671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8513] ppid=8506 vsize=915628 CPUtime=0
/proc/8508/task/8513/stat : 8513 (java) S 8506 8508 8239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183486113 937603072 17671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8514] ppid=8506 vsize=915628 CPUtime=0.15
/proc/8508/task/8514/stat : 8514 (java) S 8506 8508 8239 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 183486113 937603072 17671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8515] ppid=8506 vsize=915628 CPUtime=0
/proc/8508/task/8515/stat : 8515 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183486113 937603072 17671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8516] ppid=8506 vsize=915628 CPUtime=0
/proc/8508/task/8516/stat : 8516 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183486113 937603072 17671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915628
[startup+2.99016 s]
/proc/loadavg: 2.07 2.07 2.01 4/89 8516
/proc/meminfo: memFree=1020552/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915948 CPUtime=2.94
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 21330 0 1 0 207 87 0 0 25 0 8 0 183486105 937930752 21065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8508/statm: 228987 21065 2188 14 0 215457 0
[pid=8508/tid=8510] ppid=8506 vsize=915948 CPUtime=0.2
/proc/8508/task/8510/stat : 8510 (java) R 8506 8508 8239 0 -1 64 4691 0 0 0 18 2 0 0 16 0 8 0 183486109 937930752 21065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134289 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8511] ppid=8506 vsize=915948 CPUtime=0
/proc/8508/task/8511/stat : 8511 (java) S 8506 8508 8239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183486110 937930752 21065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8512] ppid=8506 vsize=915948 CPUtime=0
/proc/8508/task/8512/stat : 8512 (java) S 8506 8508 8239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183486110 937930752 21065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8513] ppid=8506 vsize=915948 CPUtime=0
/proc/8508/task/8513/stat : 8513 (java) S 8506 8508 8239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183486113 937930752 21065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8514] ppid=8506 vsize=915948 CPUtime=0.19
/proc/8508/task/8514/stat : 8514 (java) S 8506 8508 8239 0 -1 64 429 0 0 0 19 0 0 0 16 0 8 0 183486113 937930752 21065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8515] ppid=8506 vsize=915948 CPUtime=0
/proc/8508/task/8515/stat : 8515 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183486113 937930752 21065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8516] ppid=8506 vsize=915948 CPUtime=0
/proc/8508/task/8516/stat : 8516 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183486113 937930752 21065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915948
[startup+6.27045 s]
/proc/loadavg: 2.07 2.07 2.01 3/89 8516
/proc/meminfo: memFree=1001160/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915856 CPUtime=6.18
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 23662 0 1 0 530 88 0 0 25 0 8 0 183486105 937836544 23381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074122860 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8508/statm: 228964 23381 2545 14 0 215434 0
[pid=8508/tid=8510] ppid=8506 vsize=915856 CPUtime=0.3
/proc/8508/task/8510/stat : 8510 (java) S 8506 8508 8239 0 -1 64 6504 0 0 0 28 2 0 0 17 0 8 0 183486109 937836544 23381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8511] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8511/stat : 8511 (java) S 8506 8508 8239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 23381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8512] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8512/stat : 8512 (java) S 8506 8508 8239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 23381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8513] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8513/stat : 8513 (java) S 8506 8508 8239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183486113 937836544 23381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8514] ppid=8506 vsize=915856 CPUtime=0.35
/proc/8508/task/8514/stat : 8514 (java) S 8506 8508 8239 0 -1 64 509 0 0 0 34 1 0 0 15 0 8 0 183486113 937836544 23381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8515] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8515/stat : 8515 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183486113 937836544 23381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8516] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8516/stat : 8516 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183486113 937836544 23381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915856
[startup+12.765 s]
/proc/loadavg: 2.13 2.09 2.02 3/89 8516
/proc/meminfo: memFree=986504/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915856 CPUtime=12.61
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 27374 0 1 0 1171 90 0 0 25 0 8 0 183486105 937836544 27090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074061536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8508/statm: 228964 27090 2545 14 0 215434 0
[pid=8508/tid=8510] ppid=8506 vsize=915856 CPUtime=0.34
/proc/8508/task/8510/stat : 8510 (java) S 8506 8508 8239 0 -1 64 10207 0 0 0 30 4 0 0 17 0 8 0 183486109 937836544 27090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8511] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8511/stat : 8511 (java) S 8506 8508 8239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 27090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8512] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8512/stat : 8512 (java) S 8506 8508 8239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 27090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8513] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8513/stat : 8513 (java) S 8506 8508 8239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183486113 937836544 27090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8514] ppid=8506 vsize=915856 CPUtime=0.36
/proc/8508/task/8514/stat : 8514 (java) S 8506 8508 8239 0 -1 64 515 0 0 0 35 1 0 0 16 0 8 0 183486113 937836544 27090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8515] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8515/stat : 8515 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183486113 937836544 27090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8516] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8516/stat : 8516 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183486113 937836544 27090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915856
[startup+25.6232 s]
/proc/loadavg: 2.11 2.08 2.02 3/89 8516
/proc/meminfo: memFree=940808/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915856 CPUtime=25.36
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 38804 0 1 0 2440 96 0 0 25 0 8 0 183486105 937836544 38516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074122614 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8508/statm: 228964 38516 2545 14 0 215434 0
[pid=8508/tid=8510] ppid=8506 vsize=915856 CPUtime=0.46
/proc/8508/task/8510/stat : 8510 (java) S 8506 8508 8239 0 -1 64 21632 0 0 0 36 10 0 0 16 0 8 0 183486109 937836544 38516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8511] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8511/stat : 8511 (java) S 8506 8508 8239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 38516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8512] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8512/stat : 8512 (java) S 8506 8508 8239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 38516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8513] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8513/stat : 8513 (java) S 8506 8508 8239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183486113 937836544 38516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8514] ppid=8506 vsize=915856 CPUtime=0.36
/proc/8508/task/8514/stat : 8514 (java) S 8506 8508 8239 0 -1 64 516 0 0 0 35 1 0 0 16 0 8 0 183486113 937836544 38516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8515] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8515/stat : 8515 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183486113 937836544 38516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8516] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8516/stat : 8516 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183486113 937836544 38516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915856
[startup+51.249 s]
/proc/loadavg: 2.07 2.08 2.01 4/89 8516
/proc/meminfo: memFree=836616/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915856 CPUtime=50.75
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 64819 0 1 0 4966 109 0 0 25 0 8 0 183486105 937836544 64525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074057955 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8508/statm: 228964 64525 2545 14 0 215434 0
[pid=8508/tid=8510] ppid=8506 vsize=915856 CPUtime=0.74
/proc/8508/task/8510/stat : 8510 (java) S 8506 8508 8239 0 -1 64 47641 0 0 0 52 22 0 0 16 0 8 0 183486109 937836544 64525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8511] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8511/stat : 8511 (java) S 8506 8508 8239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 64525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8512] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8512/stat : 8512 (java) S 8506 8508 8239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 64525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8513] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8513/stat : 8513 (java) S 8506 8508 8239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183486113 937836544 64525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8514] ppid=8506 vsize=915856 CPUtime=0.36
/proc/8508/task/8514/stat : 8514 (java) S 8506 8508 8239 0 -1 64 516 0 0 0 35 1 0 0 16 0 8 0 183486113 937836544 64525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8515] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8515/stat : 8515 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183486113 937836544 64525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8516] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8516/stat : 8516 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183486113 937836544 64525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915856
[startup+102.525 s]
/proc/loadavg: 2.14 2.09 2.02 3/89 8516
/proc/meminfo: memFree=670280/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915856 CPUtime=101.55
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 109419 0 1 0 10025 130 0 0 25 0 8 0 183486105 937836544 109114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074061536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8508/statm: 228964 109114 2545 14 0 215434 0
[pid=8508/tid=8510] ppid=8506 vsize=915856 CPUtime=1.23
/proc/8508/task/8510/stat : 8510 (java) S 8506 8508 8239 0 -1 64 92229 0 0 0 80 43 0 0 16 0 8 0 183486109 937836544 109114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8511] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8511/stat : 8511 (java) S 8506 8508 8239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 109114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8512] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8512/stat : 8512 (java) S 8506 8508 8239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 109114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8513] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8513/stat : 8513 (java) S 8506 8508 8239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183486113 937836544 109114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8514] ppid=8506 vsize=915856 CPUtime=0.36
/proc/8508/task/8514/stat : 8514 (java) S 8506 8508 8239 0 -1 64 517 0 0 0 35 1 0 0 16 0 8 0 183486113 937836544 109114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8515] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8515/stat : 8515 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183486113 937836544 109114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8516] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8516/stat : 8516 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183486113 937836544 109114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915856
[startup+162.623 s]
/proc/loadavg: 2.10 2.09 2.02 3/89 8516
/proc/meminfo: memFree=496776/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915856 CPUtime=161.1
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 149369 0 1 0 15961 149 0 0 25 0 8 0 183486105 937836544 149052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074119142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1418.36
Current children cumulated vsize (KiB) 915856
[startup+1482.94 s]
/proc/loadavg: 1.00 1.02 1.31 2/72 8769
/proc/meminfo: memFree=1225920/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915856 CPUtime=1478.35
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 154240 0 1 0 147675 160 0 0 25 0 8 0 183486105 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074115646 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8508/statm: 228964 153920 2545 14 0 215434 0
[pid=8508/tid=8510] ppid=8506 vsize=915856 CPUtime=1.77
/proc/8508/task/8510/stat : 8510 (java) S 8506 8508 8239 0 -1 64 137035 0 0 0 113 64 0 0 16 0 8 0 183486109 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8511] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8511/stat : 8511 (java) S 8506 8508 8239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8512] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8512/stat : 8512 (java) S 8506 8508 8239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8513] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8513/stat : 8513 (java) S 8506 8508 8239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8514] ppid=8506 vsize=915856 CPUtime=0.36
/proc/8508/task/8514/stat : 8514 (java) S 8506 8508 8239 0 -1 64 517 0 0 0 35 1 0 0 16 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8515] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8515/stat : 8515 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8516] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8516/stat : 8516 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.35
Current children cumulated vsize (KiB) 915856
[startup+1542.95 s]
/proc/loadavg: 1.00 1.02 1.29 2/72 8769
/proc/meminfo: memFree=1225920/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915856 CPUtime=1538.33
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 154240 0 1 0 153673 160 0 0 25 0 8 0 183486105 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8508/statm: 228964 153920 2545 14 0 215434 0
[pid=8508/tid=8510] ppid=8506 vsize=915856 CPUtime=1.77
/proc/8508/task/8510/stat : 8510 (java) S 8506 8508 8239 0 -1 64 137035 0 0 0 113 64 0 0 16 0 8 0 183486109 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8511] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8511/stat : 8511 (java) S 8506 8508 8239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8512] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8512/stat : 8512 (java) S 8506 8508 8239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8513] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8513/stat : 8513 (java) S 8506 8508 8239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8514] ppid=8506 vsize=915856 CPUtime=0.36
/proc/8508/task/8514/stat : 8514 (java) S 8506 8508 8239 0 -1 64 517 0 0 0 35 1 0 0 16 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8515] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8515/stat : 8515 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8516] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8516/stat : 8516 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.33
Current children cumulated vsize (KiB) 915856
[startup+1602.95 s]
/proc/loadavg: 1.00 1.01 1.27 2/72 8769
/proc/meminfo: memFree=1225984/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915856 CPUtime=1598.32
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 154240 0 1 0 159672 160 0 0 25 0 8 0 183486105 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8508/statm: 228964 153920 2545 14 0 215434 0
[pid=8508/tid=8510] ppid=8506 vsize=915856 CPUtime=1.77
/proc/8508/task/8510/stat : 8510 (java) S 8506 8508 8239 0 -1 64 137035 0 0 0 113 64 0 0 16 0 8 0 183486109 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8511] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8511/stat : 8511 (java) S 8506 8508 8239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8512] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8512/stat : 8512 (java) S 8506 8508 8239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8513] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8513/stat : 8513 (java) S 8506 8508 8239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8514] ppid=8506 vsize=915856 CPUtime=0.36
/proc/8508/task/8514/stat : 8514 (java) S 8506 8508 8239 0 -1 64 517 0 0 0 35 1 0 0 16 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8515] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8515/stat : 8515 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8516] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8516/stat : 8516 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.32
Current children cumulated vsize (KiB) 915856
[startup+1662.96 s]
/proc/loadavg: 1.00 1.01 1.25 2/72 8769
/proc/meminfo: memFree=1225984/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915856 CPUtime=1658.31
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 154240 0 1 0 165671 160 0 0 25 0 8 0 183486105 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074061536 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8508/statm: 228964 153920 2545 14 0 215434 0
[pid=8508/tid=8510] ppid=8506 vsize=915856 CPUtime=1.77
/proc/8508/task/8510/stat : 8510 (java) S 8506 8508 8239 0 -1 64 137035 0 0 0 113 64 0 0 16 0 8 0 183486109 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8511] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8511/stat : 8511 (java) S 8506 8508 8239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8512] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8512/stat : 8512 (java) S 8506 8508 8239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8513] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8513/stat : 8513 (java) S 8506 8508 8239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8514] ppid=8506 vsize=915856 CPUtime=0.36
/proc/8508/task/8514/stat : 8514 (java) S 8506 8508 8239 0 -1 64 517 0 0 0 35 1 0 0 16 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8515] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8515/stat : 8515 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8516] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8516/stat : 8516 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.31
Current children cumulated vsize (KiB) 915856
[startup+1722.96 s]
/proc/loadavg: 1.00 1.00 1.23 2/72 8769
/proc/meminfo: memFree=1225984/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915856 CPUtime=1718.3
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 154240 0 1 0 171670 160 0 0 25 0 8 0 183486105 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043242 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8508/statm: 228964 153920 2545 14 0 215434 0
[pid=8508/tid=8510] ppid=8506 vsize=915856 CPUtime=1.77
/proc/8508/task/8510/stat : 8510 (java) S 8506 8508 8239 0 -1 64 137035 0 0 0 113 64 0 0 16 0 8 0 183486109 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8511] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8511/stat : 8511 (java) S 8506 8508 8239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8512] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8512/stat : 8512 (java) S 8506 8508 8239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8513] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8513/stat : 8513 (java) S 8506 8508 8239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8514] ppid=8506 vsize=915856 CPUtime=0.36
/proc/8508/task/8514/stat : 8514 (java) S 8506 8508 8239 0 -1 64 517 0 0 0 35 1 0 0 16 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8515] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8515/stat : 8515 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8516] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8516/stat : 8516 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.3
Current children cumulated vsize (KiB) 915856
[startup+1782.96 s]
/proc/loadavg: 1.00 1.00 1.21 2/72 8769
/proc/meminfo: memFree=1225984/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915856 CPUtime=1778.29
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 154240 0 1 0 177668 161 0 0 25 0 8 0 183486105 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074059969 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8508/statm: 228964 153920 2545 14 0 215434 0
[pid=8508/tid=8510] ppid=8506 vsize=915856 CPUtime=1.77
/proc/8508/task/8510/stat : 8510 (java) S 8506 8508 8239 0 -1 64 137035 0 0 0 113 64 0 0 16 0 8 0 183486109 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8511] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8511/stat : 8511 (java) S 8506 8508 8239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8512] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8512/stat : 8512 (java) S 8506 8508 8239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8513] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8513/stat : 8513 (java) S 8506 8508 8239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8514] ppid=8506 vsize=915856 CPUtime=0.36
/proc/8508/task/8514/stat : 8514 (java) S 8506 8508 8239 0 -1 64 517 0 0 0 35 1 0 0 16 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8515] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8515/stat : 8515 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8516] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8516/stat : 8516 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.29
Current children cumulated vsize (KiB) 915856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.73 s]
/proc/loadavg: 1.00 1.00 1.21 2/72 8769
/proc/meminfo: memFree=1225920/2055920 swapFree=4187312/4192956
[pid=8508] ppid=8506 vsize=915856 CPUtime=1800.06
/proc/8508/stat : 8508 (java) R 8506 8508 8239 0 -1 0 154240 0 1 0 179845 161 0 0 25 0 8 0 183486105 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074138561 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8508/statm: 228964 153920 2545 14 0 215434 0
[pid=8508/tid=8510] ppid=8506 vsize=915856 CPUtime=1.77
/proc/8508/task/8510/stat : 8510 (java) S 8506 8508 8239 0 -1 64 137035 0 0 0 113 64 0 0 16 0 8 0 183486109 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8511] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8511/stat : 8511 (java) S 8506 8508 8239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8512] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8512/stat : 8512 (java) S 8506 8508 8239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183486110 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8513] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8513/stat : 8513 (java) S 8506 8508 8239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8514] ppid=8506 vsize=915856 CPUtime=0.36
/proc/8508/task/8514/stat : 8514 (java) S 8506 8508 8239 0 -1 64 517 0 0 0 35 1 0 0 16 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8515] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8515/stat : 8515 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8508/tid=8516] ppid=8506 vsize=915856 CPUtime=0
/proc/8508/task/8516/stat : 8516 (java) S 8506 8508 8239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183486113 937836544 153920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1804.89
CPU time (s): 1800.22
CPU user time (s): 1798.51
CPU system time (s): 1.70974
CPU usage (%): 99.7412
Max. virtual memory (cumulated for all children) (KiB): 915948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.51
system time used= 1.70974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154257
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= 38253
involuntary context switches= 21913
runsolver used 1.80572 s user time and 5.07523 s system time
The end
Begin job on node39 on Tue Jan 9 13:54:25 UTC 2007
IDJOB= 237772
IDBENCH= 6962
FILE ID= node39/237772-1168350865
PBS_JOBID= 3503651
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_34.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237772-1168350865/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-237772-1168350865 -o ROOT/results/node39/solver-237772-1168350865 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237772-1168350865/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 59402b4c8ddb23a8b0b5394ce6a8b96b
RANDOM SEED= 446798199
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: 1085600 kB
Buffers: 28816 kB
Cached: 139164 kB
SwapCached: 1408 kB
Active: 828148 kB
Inactive: 87156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1085600 kB
SwapTotal: 4192956 kB
SwapFree: 4187312 kB
Dirty: 3952 kB
Writeback: 0 kB
Mapped: 763616 kB
Slab: 38820 kB
Committed_AS: 4627704 kB
PageTables: 3304 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= 66559 MiB
End job on node39 on Tue Jan 9 14:24:30 UTC 2007