0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/200037-1168140006/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.40 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
1.01
1.01 constraints being loaded...
1.27 nbConstraints=76 nbRelationTypes=76 nbExtensionStructures=76 nbSharedExtensionStructures=0
1.27 nbConflictsStructures=76 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.27 => wckTime=0.968 cpuTime=0.85 mem=50M840
1.39
1.39 solver IterativeSystematicSolver being built...
1.55 => wckTime=1.252 cpuTime=0.99 mem=35M597
1.64
1.64 preprocessing
1.64 nbConstraintChecks=27068 nbValidityChecks=44608 nbPropagations=192 nbRevisions=1855 nbUselessRevisions=1644
1.64 nbSingletonTests=28 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
1.64 => wckTime=0.087 cpuTime=0.06 mem=35M597
1.71
1.71 search
1.71 run=0 nbConstraintChecks=26012 nbValidityChecks=48591 nbPropagations=494 nbRevisions=5207
1.71 nbUselessRevisions=4303 nbAssignments=25 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=42
1.71 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.71 => wckTime=0.149 cpuTime=0.11 mem=35M597
1.78
1.78 search
1.78 run=1 nbConstraintChecks=68627 nbValidityChecks=129690 nbPropagations=1437 nbRevisions=15878
1.78 nbUselessRevisions=12881 nbAssignments=65 nbFailedAssignments=29 nbBacktracks=26 nbVisitedNodes=111
1.78 nbRestartNogoods=1 mapSize=21 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.222 cpuTime=0.18 mem=35M597
1.90
1.90 search
1.90 run=2 nbConstraintChecks=132468 nbValidityChecks=260949 nbPropagations=3043 nbRevisions=34070
1.90 nbUselessRevisions=27525 nbAssignments=130 nbFailedAssignments=56 nbBacktracks=49 nbVisitedNodes=207
1.90 nbRestartNogoods=5 mapSize=41 nbInferences=0 nbTooLargeKeys=0
1.90 => wckTime=0.34 cpuTime=0.29 mem=35M597
2.05
2.05 search
2.05 run=3 nbConstraintChecks=242088 nbValidityChecks=479178 nbPropagations=5743 nbRevisions=65817
2.05 nbUselessRevisions=52832 nbAssignments=231 nbFailedAssignments=120 nbBacktracks=82 nbVisitedNodes=395
2.05 nbRestartNogoods=7 mapSize=72 nbInferences=0 nbTooLargeKeys=0
2.05 => wckTime=0.499 cpuTime=0.44 mem=35M597
2.23
2.23 search
2.23 run=4 nbConstraintChecks=362745 nbValidityChecks=710164 nbPropagations=9892 nbRevisions=113958
2.23 nbUselessRevisions=90895 nbAssignments=337 nbFailedAssignments=169 nbBacktracks=134 nbVisitedNodes=585
2.23 nbRestartNogoods=13 mapSize=117 nbInferences=0 nbTooLargeKeys=0
2.23 => wckTime=0.675 cpuTime=0.62 mem=35M597
2.52
2.52 search
2.52 run=5 nbConstraintChecks=552900 nbValidityChecks=1081914 nbPropagations=16337 nbRevisions=188492
2.52 nbUselessRevisions=149419 nbAssignments=519 nbFailedAssignments=270 nbBacktracks=211 nbVisitedNodes=913
2.52 nbRestartNogoods=21 mapSize=182 nbInferences=0 nbTooLargeKeys=0
2.52 => wckTime=0.966 cpuTime=0.9 mem=35M597
2.90
2.90 search
2.90 run=6 nbConstraintChecks=818588 nbValidityChecks=1666249 nbPropagations=26320 nbRevisions=306114
2.90 nbUselessRevisions=241966 nbAssignments=856 nbFailedAssignments=488 nbBacktracks=324 nbVisitedNodes=1537
2.90 nbRestartNogoods=26 mapSize=285 nbInferences=0 nbTooLargeKeys=0
2.90 => wckTime=1.348 cpuTime=1.28 mem=35M597
3.53
3.53 search
3.53 run=7 nbConstraintChecks=1263689 nbValidityChecks=2526781 nbPropagations=41282 nbRevisions=483303
3.53 nbUselessRevisions=381468 nbAssignments=1256 nbFailedAssignments=711 nbBacktracks=494 nbVisitedNodes=2263
3.53 nbRestartNogoods=37 mapSize=427 nbInferences=0 nbTooLargeKeys=0
3.53 => wckTime=1.972 cpuTime=1.9 mem=35M597
4.31
4.31 search
4.31 run=8 nbConstraintChecks=1814298 nbValidityChecks=3569178 nbPropagations=62936 nbRevisions=736331
4.31 nbUselessRevisions=580038 nbAssignments=1773 nbFailedAssignments=957 nbBacktracks=750 nbVisitedNodes=3166
4.31 nbRestartNogoods=47 mapSize=635 nbInferences=0 nbTooLargeKeys=0
4.31 => wckTime=2.755 cpuTime=2.66 mem=35M597
5.40
5.40 search
5.40 run=9 nbConstraintChecks=2595409 nbValidityChecks=5069795 nbPropagations=94138 nbRevisions=1097849
5.40 nbUselessRevisions=862884 nbAssignments=2504 nbFailedAssignments=1298 nbBacktracks=1135 nbVisitedNodes=4457
5.40 nbRestartNogoods=55 mapSize=950 nbInferences=0 nbTooLargeKeys=0
5.40 => wckTime=3.843 cpuTime=3.74 mem=35M597
5.68
5.68 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=35M597)
7.77
7.77 search
7.77 run=10 nbConstraintChecks=4292619 nbValidityChecks=8440238 nbPropagations=143569 nbRevisions=1687981
7.77 nbUselessRevisions=1324271 nbAssignments=4028 nbFailedAssignments=2242 nbBacktracks=1711 nbVisitedNodes=7315
7.77 nbRestartNogoods=64
7.77 => wckTime=6.213 cpuTime=6.09 mem=35M597
11.17
11.17 search
11.17 run=11 nbConstraintChecks=6919978 nbValidityChecks=13572750 nbPropagations=220257 nbRevisions=2613817
11.17 nbUselessRevisions=2051052 nbAssignments=6536 nbFailedAssignments=3880 nbBacktracks=2575 nbVisitedNodes=12064
11.17 nbRestartNogoods=73
11.17 => wckTime=9.615 cpuTime=9.47 mem=35M597
15.00
15.00 search
15.00 run=12 nbConstraintChecks=9790663 nbValidityChecks=19181197 nbPropagations=334081 nbRevisions=3965907
15.00 nbUselessRevisions=3110351 nbAssignments=9379 nbFailedAssignments=5407 nbBacktracks=3875 nbVisitedNodes=17206
15.00 nbRestartNogoods=88
15.00 => wckTime=13.446 cpuTime=13.28 mem=35M597
20.58
20.58 search
20.58 run=13 nbConstraintChecks=13893423 nbValidityChecks=27110312 nbPropagations=499578 nbRevisions=5908580
20.58 nbUselessRevisions=4627928 nbAssignments=13272 nbFailedAssignments=7318 nbBacktracks=5821 nbVisitedNodes=24121
20.58 nbRestartNogoods=96
20.58 => wckTime=19.021 cpuTime=18.83 mem=35M597
28.35
28.35 search
28.35 run=14 nbConstraintChecks=19641025 nbValidityChecks=38754370 nbPropagations=742989 nbRevisions=8734979
28.35 nbUselessRevisions=6835214 nbAssignments=19495 nbFailedAssignments=10589 nbBacktracks=8742 nbVisitedNodes=35316
28.35 nbRestartNogoods=106
28.35 => wckTime=26.797 cpuTime=26.57 mem=35M597
43.28
43.28 search
43.28 run=15 nbConstraintChecks=30905107 nbValidityChecks=61131078 nbPropagations=1118119 nbRevisions=13160063
43.28 nbUselessRevisions=10296024 nbAssignments=30538 nbFailedAssignments=17246 nbBacktracks=13120
43.28 nbVisitedNodes=55728 nbRestartNogoods=126
43.28 => wckTime=41.723 cpuTime=41.42 mem=35M597
64.82
64.82 search
64.82 run=16 nbConstraintChecks=47114054 nbValidityChecks=92948875 nbPropagations=1689980 nbRevisions=19850949
64.82 nbUselessRevisions=15514272 nbAssignments=45407 nbFailedAssignments=25512 nbBacktracks=19688
64.82 nbVisitedNodes=83107 nbRestartNogoods=147
64.82 => wckTime=63.268 cpuTime=62.86 mem=35M597
103.69
103.69 search
103.69 run=17 nbConstraintChecks=76482379 nbValidityChecks=150785953 nbPropagations=2573956 nbRevisions=30412222
103.69 nbUselessRevisions=23767993 nbAssignments=71872 nbFailedAssignments=42097 nbBacktracks=29540
103.69 nbVisitedNodes=133223 nbRestartNogoods=160
103.69 => wckTime=102.133 cpuTime=101.55 mem=35M597
165.59
165.59 search
165.59 run=18 nbConstraintChecks=118913692 nbValidityChecks=232833188 nbPropagations=3913949 nbRevisions=46554793
165.59 nbUselessRevisions=36378594 nbAssignments=110594 nbFailedAssignments=66032 nbBacktracks=44318
165.59 nbVisitedNodes=205262 nbRestartNogoods=177
165.59 => wckTime=164.031 cpuTime=158.13 mem=35M597
238.37
238.37 search
238.37 run=19 nbConstraintChecks=166916365 nbValidityChecks=328414711 nbPropagations=5870669 nbRevisions=69763354
238.37 nbUselessRevisions=54512009 nbAssignments=157693 nbFailedAssignments=90937 nbBacktracks=66486
238.37 nbVisitedNodes=291309 nbRestartNogoods=208
238.37 => wckTime=236.811 cpuTime=223.65 mem=35M597
357.28
357.28 search
357.28 run=20 nbConstraintChecks=246191345 nbValidityChecks=485781739 nbPropagations=8819895 nbRevisions=104348552
357.28 nbUselessRevisions=81494979 nbAssignments=233714 nbFailedAssignments=133690 nbBacktracks=99738
357.28 nbVisitedNodes=431708 nbRestartNogoods=235
357.28 => wckTime=355.721 cpuTime=331.09 mem=35M597
550.48
550.48 search
550.48 run=21 nbConstraintChecks=380359674 nbValidityChecks=748906489 nbPropagations=13301578 nbRevisions=157754411
550.48 nbUselessRevisions=123242655 nbAssignments=358558 nbFailedAssignments=208642 nbBacktracks=149619
550.48 nbVisitedNodes=663222 nbRestartNogoods=256
550.48 => wckTime=548.926 cpuTime=509.41 mem=35M597
795.69
795.69 search
795.69 run=22 nbConstraintChecks=565667622 nbValidityChecks=1112698630 nbPropagations=19967280 nbRevisions=236971516
795.69 nbUselessRevisions=185139821 nbAssignments=530485 nbFailedAssignments=305744 nbBacktracks=224438
795.69 nbVisitedNodes=980403 nbRestartNogoods=278
795.69 => wckTime=794.135 cpuTime=754.55 mem=35M597
870.99
870.99 search
870.99 run=23 nbConstraintChecks=623207554 nbValidityChecks=1227602987 nbPropagations=27268332 nbRevisions=324059757
870.99 nbUselessRevisions=253202352 nbAssignments=585345 nbFailedAssignments=341413 nbBacktracks=243587
870.99 nbVisitedNodes=1083510 nbRestartNogoods=308
870.99 => wckTime=869.435 cpuTime=829.58 mem=35M597
870.99
870.99 global
870.99 nbConstraintChecks=623234622 nbValidityChecks=1227647595 nbPropagations=27268524 nbRevisions=324061612
870.99 nbUselessRevisions=253203996 nbRestartNogoods=308 solvingWckTime=869.436 solvingCpuTime=829.58 expiredTime=no
870.99 totalExploration=no nbFoundSolutions=1 globalCpuTime=830.62
870.99 => wckTime=870.691 cpuTime=830.57 mem=35M597
870.99
870.99 s SATISFIABLE
870.99 v 18 20 11 12 14 10 16 19 15 1 12 8 14 6 6 23 4 20 0 13 15 2 21 12
870.99 d NODES 585345
870.99 d CHECKS 623234622
870.99
871.00 totalWckTime=870.767 totalCpuTime=830.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-200037-1168140006 -o ROOT/results/node75/solver-200037-1168140006 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200037-1168140006/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: 1.08 1.02 1.02 6/69 10517
/proc/meminfo: memFree=1606848/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=1784 CPUtime=0
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 162400094 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/10516/statm: 446 140 106 14 0 91 0
[startup+0.103604 s]
/proc/loadavg: 1.08 1.02 1.02 6/69 10517
/proc/meminfo: memFree=1606848/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=914988 CPUtime=0.08
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 2978 0 1 0 6 2 0 0 17 0 8 0 162400094 936947712 2724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228747 2724 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511652 s]
/proc/loadavg: 1.08 1.02 1.02 6/69 10517
/proc/meminfo: memFree=1606848/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915328 CPUtime=0.48
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 8031 0 1 0 43 5 0 0 18 0 8 0 162400094 937295872 7770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228832 7770 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33575 s]
/proc/loadavg: 1.15 1.03 1.03 3/88 10538
/proc/meminfo: memFree=1513888/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=1.3
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 19148 0 1 0 120 10 0 0 25 0 8 0 162400094 937390080 18885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228855 18885 2170 14 0 215325 0
[pid=10516/tid=10525] ppid=10512 vsize=915420 CPUtime=0.1
/proc/10516/task/10525/stat : 10525 (java) R 10512 10516 10373 0 -1 64 2660 0 0 0 10 0 0 0 16 0 8 0 162400099 937390080 18885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222443 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10526] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10526/stat : 10526 (java) S 10512 10516 10373 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 18885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10527] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10527/stat : 10527 (java) S 10512 10516 10373 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 18885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10531] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 18885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.09
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 322 0 0 0 9 0 0 0 16 0 8 0 162400102 937390080 18885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 18885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 18885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915420
[startup+2.98794 s]
/proc/loadavg: 1.15 1.03 1.03 3/88 10538
/proc/meminfo: memFree=1488096/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=2.94
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 23566 0 1 0 281 13 0 0 25 0 8 0 162400094 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228855 23302 2531 14 0 215325 0
[pid=10516/tid=10525] ppid=10512 vsize=915420 CPUtime=0.15
/proc/10516/task/10525/stat : 10525 (java) S 10512 10516 10373 0 -1 64 6584 0 0 0 13 2 0 0 17 0 8 0 162400099 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10526] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10526/stat : 10526 (java) S 10512 10516 10373 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10527] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10527/stat : 10527 (java) S 10512 10516 10373 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162400099 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10531] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.18
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 373 0 0 0 18 0 0 0 15 0 8 0 162400102 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 23302 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) 915420
[startup+6.28033 s]
/proc/loadavg: 1.15 1.03 1.03 3/88 10538
/proc/meminfo: memFree=1487272/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=6.22
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 23581 0 1 0 608 14 0 0 25 0 8 0 162400094 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228855 23314 2531 14 0 215325 0
[pid=10516/tid=10525] ppid=10512 vsize=915420 CPUtime=0.15
/proc/10516/task/10525/stat : 10525 (java) S 10512 10516 10373 0 -1 64 6584 0 0 0 13 2 0 0 17 0 8 0 162400099 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10526] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10526/stat : 10526 (java) S 10512 10516 10373 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10527] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10527/stat : 10527 (java) S 10512 10516 10373 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162400099 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10531] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.21
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 387 0 0 0 20 1 0 0 15 0 8 0 162400102 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915420
[startup+12.7651 s]
/proc/loadavg: 1.28 1.06 1.04 3/88 10538
/proc/meminfo: memFree=1487416/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=12.67
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 23585 0 1 0 1253 14 0 0 25 0 8 0 162400094 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228855 23317 2531 14 0 215325 0
[pid=10516/tid=10525] ppid=10512 vsize=915420 CPUtime=0.15
/proc/10516/task/10525/stat : 10525 (java) S 10512 10516 10373 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 162400099 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10526] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10526/stat : 10526 (java) S 10512 10516 10373 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10527] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10527/stat : 10527 (java) S 10512 10516 10373 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162400099 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10531] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.22
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 162400102 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915420
[startup+25.6036 s]
/proc/loadavg: 1.39 1.09 1.05 3/88 10538
/proc/meminfo: memFree=1487544/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=25.45
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 23586 0 1 0 2531 14 0 0 25 0 8 0 162400094 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228855 23318 2531 14 0 215325 0
[pid=10516/tid=10525] ppid=10512 vsize=915420 CPUtime=0.15
/proc/10516/task/10525/stat : 10525 (java) S 10512 10516 10373 0 -1 64 6584 0 0 0 13 2 0 0 17 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10526] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10526/stat : 10526 (java) S 10512 10516 10373 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10527] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10527/stat : 10527 (java) S 10512 10516 10373 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10531] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.22
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915420
[startup+51.2136 s]
/proc/loadavg: 1.63 1.18 1.08 3/88 10538
/proc/meminfo: memFree=1487608/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=50.93
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 23587 0 1 0 5079 14 0 0 25 0 8 0 162400094 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757829 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228855 23318 2531 14 0 215325 0
[pid=10516/tid=10525] ppid=10512 vsize=915420 CPUtime=0.15
/proc/10516/task/10525/stat : 10525 (java) S 10512 10516 10373 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10526] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10526/stat : 10526 (java) S 10512 10516 10373 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10527] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10527/stat : 10527 (java) S 10512 10516 10373 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10531] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.22
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915420
[startup+102.424 s]
/proc/loadavg: 1.84 1.30 1.12 3/88 10538
/proc/meminfo: memFree=1487672/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=101.9
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 23587 0 1 0 10176 14 0 0 25 0 8 0 162400094 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228855 23318 2531 14 0 215325 0
[pid=10516/tid=10525] ppid=10512 vsize=915420 CPUtime=0.15
/proc/10516/task/10525/stat : 10525 (java) S 10512 10516 10373 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10526] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10526/stat : 10526 (java) S 10512 10516 10373 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10527] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10527/stat : 10527 (java) S 10512 10516 10373 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10531] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.22
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915420
[startup+162.508 s]
/proc/loadavg: 2.50 1.58 1.23 4/94 14717
/proc/meminfo: memFree=1479880/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=156.93
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 23587 0 1 0 15676 17 0 0 25 0 8 0 162400094 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768242 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.22
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 373.67
Current children cumulated vsize (KiB) 915420
[startup+462.859 s]
/proc/loadavg: 3.38 2.71 1.81 4/95 9201
/proc/meminfo: memFree=1446336/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=427.34
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 23587 0 1 0 42704 30 0 0 25 0 8 0 162400094 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228855 23318 2531 14 0 215325 0
[pid=10516/tid=10525] ppid=10512 vsize=915420 CPUtime=0.15
/proc/10516/task/10525/stat : 10525 (java) S 10512 10516 10373 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10526] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10526/stat : 10526 (java) S 10512 10516 10373 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10527] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10527/stat : 10527 (java) S 10512 10516 10373 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10531] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.22
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 427.34
Current children cumulated vsize (KiB) 915420
[startup+522.865 s]
/proc/loadavg: 2.90 2.71 1.87 3/88 12823
/proc/meminfo: memFree=1445112/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=483.41
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 23587 0 1 0 48310 31 0 0 25 0 8 0 162400094 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632905 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228855 23318 2531 14 0 215325 0
[pid=10516/tid=10525] ppid=10512 vsize=915420 CPUtime=0.15
/proc/10516/task/10525/stat : 10525 (java) S 10512 10516 10373 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10526] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10526/stat : 10526 (java) S 10512 10516 10373 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10527] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10527/stat : 10527 (java) S 10512 10516 10373 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10531] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.22
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 483.41
Current children cumulated vsize (KiB) 915420
[startup+582.947 s]
/proc/loadavg: 2.33 2.58 1.87 3/88 12823
/proc/meminfo: memFree=1445240/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=543.48
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 23587 0 1 0 54317 31 0 0 25 0 8 0 162400094 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228855 23318 2531 14 0 215325 0
[pid=10516/tid=10525] ppid=10512 vsize=915420 CPUtime=0.15
/proc/10516/task/10525/stat : 10525 (java) S 10512 10516 10373 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10526] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10526/stat : 10526 (java) S 10512 10516 10373 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10527] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10527/stat : 10527 (java) S 10512 10516 10373 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10531] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.22
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 543.48
Current children cumulated vsize (KiB) 915420
[startup+643.013 s]
/proc/loadavg: 2.12 2.47 1.88 3/88 12823
/proc/meminfo: memFree=1445176/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=603.53
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 23587 0 1 0 60322 31 0 0 25 0 8 0 162400094 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763243 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228855 23318 2531 14 0 215325 0
[pid=10516/tid=10525] ppid=10512 vsize=915420 CPUtime=0.15
/proc/10516/task/10525/stat : 10525 (java) S 10512 10516 10373 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10526] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10526/stat : 10526 (java) S 10512 10516 10373 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10527] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10527/stat : 10527 (java) S 10512 10516 10373 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10531] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.22
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 603.53
Current children cumulated vsize (KiB) 915420
[startup+703.071 s]
/proc/loadavg: 2.04 2.38 1.88 3/88 12823
/proc/meminfo: memFree=1445176/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=663.57
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 23587 0 1 0 66326 31 0 0 25 0 8 0 162400094 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228855 23318 2531 14 0 215325 0
[pid=10516/tid=10525] ppid=10512 vsize=915420 CPUtime=0.15
/proc/10516/task/10525/stat : 10525 (java) S 10512 10516 10373 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10526] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10526/stat : 10526 (java) S 10512 10516 10373 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10527] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10527/stat : 10527 (java) S 10512 10516 10373 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10531] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.22
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 663.57
Current children cumulated vsize (KiB) 915420
[startup+763.123 s]
/proc/loadavg: 2.08 2.33 1.89 3/88 12823
/proc/meminfo: memFree=1445112/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=723.6
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 23587 0 1 0 72329 31 0 0 25 0 8 0 162400094 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228855 23318 2531 14 0 215325 0
[pid=10516/tid=10525] ppid=10512 vsize=915420 CPUtime=0.15
/proc/10516/task/10525/stat : 10525 (java) S 10512 10516 10373 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10526] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10526/stat : 10526 (java) S 10512 10516 10373 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10527] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10527/stat : 10527 (java) S 10512 10516 10373 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10531] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.22
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 723.6
Current children cumulated vsize (KiB) 915420
[startup+823.211 s]
/proc/loadavg: 2.03 2.26 1.90 3/88 12823
/proc/meminfo: memFree=1445112/2055920 swapFree=4184496/4192956
[pid=10516] ppid=10512 vsize=915420 CPUtime=783.68
/proc/10516/stat : 10516 (java) R 10512 10516 10373 0 -1 0 23587 0 1 0 78337 31 0 0 25 0 8 0 162400094 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10516/statm: 228855 23318 2531 14 0 215325 0
[pid=10516/tid=10525] ppid=10512 vsize=915420 CPUtime=0.15
/proc/10516/task/10525/stat : 10525 (java) S 10512 10516 10373 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10526] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10526/stat : 10526 (java) S 10512 10516 10373 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10527] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10527/stat : 10527 (java) S 10512 10516 10373 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162400099 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10531] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10531/stat : 10531 (java) S 10512 10516 10373 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10532] ppid=10512 vsize=915420 CPUtime=0.22
/proc/10516/task/10532/stat : 10532 (java) S 10512 10516 10373 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10533] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10533/stat : 10533 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10516/tid=10534] ppid=10512 vsize=915420 CPUtime=0
/proc/10516/task/10534/stat : 10534 (java) S 10512 10516 10373 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162400102 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 783.68
Current children cumulated vsize (KiB) 915420
Child status: 0
Real time (s): 871.063
CPU time (s): 831.23
CPU user time (s): 830.893
CPU system time (s): 0.336948
CPU usage (%): 95.4271
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 830.893
system time used= 0.336948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23594
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= 18786
involuntary context switches= 43520
runsolver used 0.996848 s user time and 2.76158 s system time
The end
Begin job on node75 on Sun Jan 7 03:20:07 UTC 2007
IDJOB= 200037
IDBENCH= 3684
FILE ID= node75/200037-1168140006
PBS_JOBID= 3478072
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200037-1168140006/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-200037-1168140006 -o ROOT/results/node75/solver-200037-1168140006 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200037-1168140006/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d115ab789f4700fd86830e23be121f9b
RANDOM SEED= 495045426
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1607392 kB
Buffers: 36524 kB
Cached: 342960 kB
SwapCached: 2676 kB
Active: 285052 kB
Inactive: 108792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1607392 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 7916 kB
Writeback: 0 kB
Mapped: 20432 kB
Slab: 40220 kB
Committed_AS: 3363704 kB
PageTables: 1636 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= 66554 MiB
End job on node75 on Sun Jan 7 03:34:38 UTC 2007