0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/237517-1168083326/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.52 nbVariables=784 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.52 => wckTime=0.188 cpuTime=0.14 mem=8M838
0.52
0.52 predicates being loaded...
0.52
0.52 constraints being loaded...
1.96 nbConstraints=10611 nbConvertedConstraints=10611 nbConvertConstraintsChecks=3136 nbExtensionStructures=4
1.96 nbSharedExtensionStructures=10607 nbConflictsStructures=4 nbSharedConflictsStructures=10607
1.96 nbSharedBinaryRepresentations=167 maxDegree=28 maxArity=2
1.96 => wckTime=1.632 cpuTime=1.41 mem=23M315
2.06
2.06 solver IterativeSystematicSolver being built...
2.28 => wckTime=1.953 cpuTime=1.58 mem=23M545
2.34
2.34 preprocessing
2.34 nbConstraintChecks=0 nbPropagations=784 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.34 detectedInconsistency=no
2.34 => wckTime=0.049 cpuTime=0.04 mem=23M545
2.47
2.47 search
2.47 run=0 nbConstraintChecks=42278 nbPropagations=2760 nbRevisions=2008 nbUselessRevisions=65 nbAssignments=96
2.47 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=117 nbRestartNogoods=0 mapSize=10 nbInferences=0
2.47 nbTooLargeKeys=0
2.47 => wckTime=0.183 cpuTime=0.15 mem=23M545
2.52
2.52 search
2.52 run=1 nbConstraintChecks=84786 nbPropagations=7540 nbRevisions=6079 nbUselessRevisions=203 nbAssignments=202
2.52 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=251 nbRestartNogoods=4 mapSize=25 nbInferences=0
2.52 nbTooLargeKeys=0
2.52 => wckTime=0.239 cpuTime=0.2 mem=24M540
2.58
2.58 search
2.58 run=2 nbConstraintChecks=127509 nbPropagations=14405 nbRevisions=12286 nbUselessRevisions=418
2.58 nbAssignments=321 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=410 nbRestartNogoods=7 mapSize=47
2.58 nbInferences=0 nbTooLargeKeys=0
2.58 => wckTime=0.297 cpuTime=0.26 mem=24M540
2.64
2.64 search
2.64 run=3 nbConstraintChecks=170526 nbPropagations=23437 nbRevisions=20709 nbUselessRevisions=710
2.64 nbAssignments=459 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=603 nbRestartNogoods=12 mapSize=80
2.64 nbInferences=1 nbTooLargeKeys=0
2.64 => wckTime=0.359 cpuTime=0.32 mem=24M540
2.71
2.71 search
2.71 run=4 nbConstraintChecks=213914 nbPropagations=34770 nbRevisions=31478 nbUselessRevisions=1081
2.72 nbAssignments=627 nbFailedAssignments=108 nbBacktracks=131 nbVisitedNodes=850 nbRestartNogoods=16 mapSize=131
2.72 nbInferences=6 nbTooLargeKeys=0
2.72 => wckTime=0.43 cpuTime=0.39 mem=25M534
2.81
2.81 search
2.81 run=5 nbConstraintChecks=257991 nbPropagations=48633 nbRevisions=44798 nbUselessRevisions=1531
2.81 nbAssignments=844 nbFailedAssignments=157 nbBacktracks=208 nbVisitedNodes=1182 nbRestartNogoods=20 mapSize=206
2.81 nbInferences=23 nbTooLargeKeys=0
2.81 => wckTime=0.52 cpuTime=0.48 mem=25M534
2.91
2.91 search
2.91 run=6 nbConstraintChecks=302904 nbPropagations=65330 nbRevisions=60964 nbUselessRevisions=2063
2.91 nbAssignments=1128 nbFailedAssignments=230 nbBacktracks=321 nbVisitedNodes=1634 nbRestartNogoods=22
2.91 mapSize=317 nbInferences=45 nbTooLargeKeys=0
2.91 => wckTime=0.629 cpuTime=0.58 mem=26M529
3.07
3.07 search
3.07 run=7 nbConstraintChecks=349126 nbPropagations=85365 nbRevisions=80443 nbUselessRevisions=2680
3.07 nbAssignments=1522 nbFailedAssignments=336 nbBacktracks=491 nbVisitedNodes=2282 nbRestartNogoods=28
3.07 mapSize=486 nbInferences=87 nbTooLargeKeys=0
3.07 => wckTime=0.787 cpuTime=0.72 mem=27M524
3.26
3.26 search
3.26 run=8 nbConstraintChecks=397469 nbPropagations=109533 nbRevisions=103953 nbUselessRevisions=3386
3.26 nbAssignments=2087 nbFailedAssignments=487 nbBacktracks=747 nbVisitedNodes=3232 nbRestartNogoods=35
3.26 mapSize=742 nbInferences=170 nbTooLargeKeys=0
3.26 => wckTime=0.977 cpuTime=0.91 mem=29M513
3.53
3.53 search
3.53 run=9 nbConstraintChecks=449665 nbPropagations=139018 nbRevisions=132590 nbUselessRevisions=4191
3.53 nbAssignments=2899 nbFailedAssignments=710 nbBacktracks=1133 nbVisitedNodes=4623 nbRestartNogoods=42
3.53 mapSize=1124 nbInferences=303 nbTooLargeKeys=0
3.53 => wckTime=1.248 cpuTime=1.16 mem=31M502
3.84
3.84 search
3.84 run=10 nbConstraintChecks=545309 nbPropagations=176196 nbRevisions=169200 nbUselessRevisions=5318
3.84 nbAssignments=3958 nbFailedAssignments=1088 nbBacktracks=1712 nbVisitedNodes=6468 nbRestartNogoods=47
3.84 mapSize=1665 nbInferences=333 nbTooLargeKeys=0
3.84 => wckTime=1.557 cpuTime=1.46 mem=33M492
4.30
4.30 search
4.30 run=11 nbConstraintChecks=631471 nbPropagations=224324 nbRevisions=216140 nbUselessRevisions=6922
4.30 nbAssignments=5836 nbFailedAssignments=1512 nbBacktracks=2576 nbVisitedNodes=9759 nbRestartNogoods=49
4.30 mapSize=2494 nbInferences=898 nbTooLargeKeys=0
4.30 => wckTime=2.012 cpuTime=1.91 mem=34M486
5.06
5.06 search
5.06 run=12 nbConstraintChecks=773078 nbPropagations=289703 nbRevisions=279348 nbUselessRevisions=9128
5.06 nbAssignments=8699 nbFailedAssignments=2166 nbBacktracks=3873 nbVisitedNodes=14738 nbRestartNogoods=60
5.06 mapSize=3756 nbInferences=1707 nbTooLargeKeys=0
5.06 => wckTime=2.779 cpuTime=2.67 mem=38M465
6.49
6.49 search
6.49 run=13 nbConstraintChecks=932931 nbPropagations=381805 nbRevisions=366139 nbUselessRevisions=11811
6.49 nbAssignments=13419 nbFailedAssignments=3010 nbBacktracks=5819 nbVisitedNodes=22974 nbRestartNogoods=69
6.49 mapSize=5675 nbInferences=3535 nbTooLargeKeys=0
6.49 => wckTime=4.204 cpuTime=4.08 mem=53M385
9.11
9.11 search
9.11 run=14 nbConstraintChecks=1154423 nbPropagations=519694 nbRevisions=491233 nbUselessRevisions=15173
9.11 nbAssignments=21527 nbFailedAssignments=3997 nbBacktracks=8738 nbVisitedNodes=37158 nbRestartNogoods=85
9.11 mapSize=8567 nbInferences=7637 nbTooLargeKeys=0
9.11 => wckTime=6.827 cpuTime=6.65 mem=53M793
12.31
12.31 search
12.31 run=15 nbConstraintChecks=1403462 nbPropagations=713436 nbRevisions=664259 nbUselessRevisions=19248
12.31 nbAssignments=32181 nbFailedAssignments=5842 nbBacktracks=13116 nbVisitedNodes=55844 nbRestartNogoods=95
12.31 mapSize=12905 nbInferences=11979 nbTooLargeKeys=0
12.31 => wckTime=10.029 cpuTime=9.78 mem=58M876
18.30
18.30 search
18.30 run=16 nbConstraintChecks=1891648 nbPropagations=1015831 nbRevisions=926346 nbUselessRevisions=24957
18.30 nbAssignments=51432 nbFailedAssignments=7772 nbBacktracks=19685 nbVisitedNodes=89580 nbRestartNogoods=101
18.30 mapSize=19403 nbInferences=22604 nbTooLargeKeys=0
18.30 => wckTime=16.013 cpuTime=15.65 mem=97M642
28.62
28.62 search
28.62 run=17 nbConstraintChecks=2680091 nbPropagations=1505989 nbRevisions=1340367 nbUselessRevisions=33981
28.62 nbAssignments=83664 nbFailedAssignments=10158 nbBacktracks=29538 nbVisitedNodes=146451 nbRestartNogoods=123
28.62 mapSize=29188 nbInferences=42471 nbTooLargeKeys=0
28.62 => wckTime=26.332 cpuTime=25.75 mem=119M236
44.00
44.00 search
44.00 run=18 nbConstraintChecks=3755449 nbPropagations=2273130 nbRevisions=1976803 nbUselessRevisions=47688
44.00 nbAssignments=131987 nbFailedAssignments=13591 nbBacktracks=44316 nbVisitedNodes=231623 nbRestartNogoods=141
44.00 mapSize=43895 nbInferences=72458 nbTooLargeKeys=0
44.00 => wckTime=41.712 cpuTime=40.88 mem=197M8
69.44
69.44 search
69.44 run=19 nbConstraintChecks=5752564 nbPropagations=3533132 nbRevisions=3007025 nbUselessRevisions=69989
69.44 nbAssignments=212882 nbFailedAssignments=17695 nbBacktracks=66484 nbVisitedNodes=375192 nbRestartNogoods=168
69.44 mapSize=65990 nbInferences=126928 nbTooLargeKeys=0
69.44 => wckTime=67.152 cpuTime=65.85 mem=283M90
109.26
109.26 search
109.26 run=20 nbConstraintChecks=8904887 nbPropagations=5573619 nbRevisions=4656148 nbUselessRevisions=104157
109.26 nbAssignments=339112 nbFailedAssignments=23087 nbBacktracks=99737 nbVisitedNodes=599639 nbRestartNogoods=188
109.26 mapSize=99148 nbInferences=214362 nbTooLargeKeys=0
109.26 => wckTime=106.975 cpuTime=105.0 mem=421M70
158.26
158.26 search
158.26 run=21 nbConstraintChecks=17549600 nbPropagations=8773968 nbRevisions=7325745 nbUselessRevisions=197770
158.26 nbAssignments=507383 nbFailedAssignments=35417 nbBacktracks=149615 nbVisitedNodes=898027 nbRestartNogoods=218
158.26 mapSize=148867 nbInferences=320252 nbTooLargeKeys=0
158.26 => wckTime=155.978 cpuTime=153.16 mem=545M195
172.19
172.19 INFO : Stopping hyperNogood (mapSize=163152, nbTooLargekeys=0, mem=600M370)
187.03
187.03 search
187.03 run=22 nbConstraintChecks=19906959 nbPropagations=12700555 nbRevisions=10751682 nbUselessRevisions=378138
187.03 nbAssignments=656132 nbFailedAssignments=80078 nbBacktracks=224433 nbVisitedNodes=1165184 nbRestartNogoods=234
187.03 => wckTime=184.741 cpuTime=181.55 mem=600M370
218.79
218.79 search
218.79 run=23 nbConstraintChecks=28591529 nbPropagations=17688770 nbRevisions=15444762 nbUselessRevisions=675449
218.79 nbAssignments=848609 nbFailedAssignments=160202 nbBacktracks=336660 nbVisitedNodes=1516390 nbRestartNogoods=268
218.79 => wckTime=216.508 cpuTime=213.06 mem=600M370
259.47
259.47 search
259.47 run=24 nbConstraintChecks=33597320 nbPropagations=23976641 nbRevisions=21491731 nbUselessRevisions=979429
259.47 nbAssignments=1133658 nbFailedAssignments=276703 nbBacktracks=505002 nbVisitedNodes=2034318
259.47 nbRestartNogoods=285
259.47 => wckTime=257.185 cpuTime=253.42 mem=600M370
320.09
320.09 search
320.09 run=25 nbConstraintChecks=40623033 nbPropagations=32210600 nbRevisions=29547005 nbUselessRevisions=1296607
320.09 nbAssignments=1559454 nbFailedAssignments=449783 nbBacktracks=757513 nbVisitedNodes=2805992
320.09 nbRestartNogoods=319
320.09 => wckTime=317.801 cpuTime=313.56 mem=600M370
411.91
411.91 search
411.91 run=26 nbConstraintChecks=48279247 nbPropagations=43317239 nbRevisions=40499728 nbUselessRevisions=1638569
411.91 nbAssignments=2199015 nbFailedAssignments=710386 nbBacktracks=1136280 nbVisitedNodes=3966758
411.91 nbRestartNogoods=356
411.91 => wckTime=409.626 cpuTime=404.64 mem=600M370
546.97
546.97 search
546.97 run=27 nbConstraintChecks=63227126 nbPropagations=58755601 nbRevisions=55934785 nbUselessRevisions=1996716
546.97 nbAssignments=3159632 nbFailedAssignments=1102623 nbBacktracks=1704431 nbVisitedNodes=5711582
546.97 nbRestartNogoods=381
546.97 => wckTime=544.687 cpuTime=538.63 mem=600M370
729.82
729.82 search
729.82 run=28 nbConstraintChecks=79866151 nbPropagations=80648930 nbRevisions=77834560 nbUselessRevisions=2363917
729.82 nbAssignments=4602118 nbFailedAssignments=1692656 nbBacktracks=2556657 nbVisitedNodes=8334114
729.82 nbRestartNogoods=419
729.82 => wckTime=727.54 cpuTime=721.15 mem=600M370
1005.62
1005.62 search
1005.62 run=29 nbConstraintChecks=104577701 nbPropagations=112221515 nbRevisions=109422430 nbUselessRevisions=2739475
1005.62 nbAssignments=6767068 nbFailedAssignments=2579011 nbBacktracks=3834997 nbVisitedNodes=12271748
1005.62 nbRestartNogoods=449
1005.62 => wckTime=1003.334 cpuTime=996.65 mem=600M370
1398.58
1398.58 search
1398.58 run=30 nbConstraintChecks=142344953 nbPropagations=158323064 nbRevisions=155575087 nbUselessRevisions=3132320
1398.58 nbAssignments=10012712 nbFailedAssignments=3906891 nbBacktracks=5752507 nbVisitedNodes=18172894
1398.58 nbRestartNogoods=487
1398.58 => wckTime=1396.292 cpuTime=1389.21 mem=600M370
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-237517-1168083326 -o ROOT/results/node62/solver-237517-1168083326 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237517-1168083326/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.26 1.75 1.74 4/80 5950
/proc/meminfo: memFree=1068568/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=18540 CPUtime=0
/proc/5949/stat : 5949 (runsolver) R 5947 5949 5508 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156731833 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 236437695783 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5949/statm: 4635 279 244 17 0 2626 0
[startup+0.107925 s]
/proc/loadavg: 1.26 1.75 1.74 4/80 5950
/proc/meminfo: memFree=1068568/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=913068 CPUtime=0.08
/proc/5949/stat : 5949 (java) S 5947 5949 5508 0 -1 0 2848 0 1 0 7 1 0 0 18 0 8 0 156731833 934981632 2594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228267 2594 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.519006 s]
/proc/loadavg: 1.26 1.75 1.74 4/80 5950
/proc/meminfo: memFree=1068568/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915328 CPUtime=0.48
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 6475 0 1 0 44 4 0 0 18 0 8 0 156731833 937295872 6214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8095981 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228832 6214 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34517 s]
/proc/loadavg: 1.26 1.75 1.74 3/87 5957
/proc/meminfo: memFree=1012896/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915632 CPUtime=1.3
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 17953 0 1 0 110 20 0 0 24 0 8 0 156731833 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228908 17690 2181 14 0 215378 0
[pid=5949/tid=5951] ppid=5947 vsize=915632 CPUtime=0.05
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 1338 0 0 0 5 0 0 0 16 0 8 0 156731837 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915632 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915632 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915632 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915632 CPUtime=0.18
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 423 0 0 0 18 0 0 0 16 0 8 0 156731842 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915632 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915632 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937607168 17690 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) 915632
[startup+2.98349 s]
/proc/loadavg: 1.32 1.76 1.74 3/87 5957
/proc/meminfo: memFree=999520/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=2.92
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 20007 0 1 0 239 53 0 0 25 0 8 0 156731833 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025581 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228930 19743 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=0.14
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 2908 0 0 0 14 0 0 0 16 0 8 0 156731837 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.29
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 484 0 0 0 28 1 0 0 16 0 8 0 156731842 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915720
[startup+6.28314 s]
/proc/loadavg: 1.32 1.76 1.74 3/87 5957
/proc/meminfo: memFree=999200/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=6.19
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 20021 0 1 0 566 53 0 0 25 0 8 0 156731833 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228930 19754 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=0.14
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 2908 0 0 0 14 0 0 0 16 0 8 0 156731837 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915720
[startup+12.7594 s]
/proc/loadavg: 1.42 1.76 1.74 3/87 5957
/proc/meminfo: memFree=958944/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=12.6
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 30101 0 1 0 1204 56 0 0 25 0 8 0 156731833 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228930 29832 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=0.23
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 12986 0 0 0 19 4 0 0 16 0 8 0 156731837 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915720
[startup+25.615 s]
/proc/loadavg: 1.51 1.77 1.74 3/87 5957
/proc/meminfo: memFree=903840/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=25.35
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 43897 0 1 0 2472 63 0 0 25 0 8 0 156731833 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228930 43625 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=0.37
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 26779 0 0 0 27 10 0 0 16 0 8 0 156731837 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915720
[startup+51.223 s]
/proc/loadavg: 1.68 1.79 1.75 3/87 5957
/proc/meminfo: memFree=809184/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=50.72
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 67531 0 1 0 5001 71 0 0 25 0 8 0 156731833 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073991792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228930 67253 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=0.61
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 50407 0 0 0 43 18 0 0 16 0 8 0 156731837 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915720
[startup+102.455 s]
/proc/loadavg: 1.86 1.82 1.76 3/87 5957
/proc/meminfo: memFree=654688/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=101.48
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 106090 0 1 0 10063 85 0 0 25 0 8 0 156731833 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074037577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228930 105799 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.02
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 88953 0 0 0 70 32 0 0 16 0 8 0 156731837 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915720
[startup+162.526 s]
/proc/loadavg: 1.95 1.85 1.77 3/87 5957
/proc/meminfo: memFree=489312/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=161
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 147358 0 1 0 15999 101 0 0 25 0 8 0 156731833 937697280 147056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074029039 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.71
Current children cumulated vsize (KiB) 915720
[startup+1483.46 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 6015
/proc/meminfo: memFree=447776/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=1477.76
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 154529 0 1 0 147666 110 0 0 25 0 8 0 156731833 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074005420 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5949/statm: 228930 154224 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.58
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 137378 0 0 0 108 50 0 0 16 0 8 0 156731837 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.76
Current children cumulated vsize (KiB) 915720
[startup+1543.46 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 6117
/proc/meminfo: memFree=446304/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=1537.65
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 154529 0 1 0 153652 113 0 0 25 0 8 0 156731833 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025578 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5949/statm: 228930 154224 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.58
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 137378 0 0 0 108 50 0 0 16 0 8 0 156731837 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.65
Current children cumulated vsize (KiB) 915720
[startup+1603.49 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 6187
/proc/meminfo: memFree=446376/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=1597.61
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 154529 0 1 0 159640 121 0 0 25 0 8 0 156731833 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074006361 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5949/statm: 228930 154224 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.58
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 137378 0 0 0 108 50 0 0 16 0 8 0 156731837 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.61
Current children cumulated vsize (KiB) 915720
[startup+1663.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 6213
/proc/meminfo: memFree=447520/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=1657.56
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 154529 0 1 0 165634 122 0 0 25 0 8 0 156731833 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073999116 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5949/statm: 228930 154224 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.58
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 137378 0 0 0 108 50 0 0 16 0 8 0 156731837 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) R 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.56
Current children cumulated vsize (KiB) 915720
[startup+1723.51 s]
/proc/loadavg: 2.06 2.03 1.92 3/87 6213
/proc/meminfo: memFree=447520/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=1717.48
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 154529 0 1 0 171626 122 0 0 25 0 8 0 156731833 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073996166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5949/statm: 228930 154224 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.58
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 137378 0 0 0 108 50 0 0 16 0 8 0 156731837 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.48
Current children cumulated vsize (KiB) 915720
[startup+1783.51 s]
/proc/loadavg: 2.07 2.03 1.93 3/87 6213
/proc/meminfo: memFree=447520/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=1777.43
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 154529 0 1 0 177621 122 0 0 25 0 8 0 156731833 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073991974 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5949/statm: 228930 154224 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.58
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 137378 0 0 0 108 50 0 0 16 0 8 0 156731837 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.43
Current children cumulated vsize (KiB) 915720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.14 s]
/proc/loadavg: 2.05 2.03 1.93 3/87 6213
/proc/meminfo: memFree=447456/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=1800.03
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 154529 0 1 0 179881 122 0 0 25 0 8 0 156731833 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023601 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5949/statm: 228930 154224 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.58
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 137378 0 0 0 108 50 0 0 16 0 8 0 156731837 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1806.27
CPU time (s): 1800.16
CPU user time (s): 1798.85
CPU system time (s): 1.3108
CPU usage (%): 99.6617
Max. virtual memory (cumulated for all children) (KiB): 915720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.3108
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154545
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= 38203
involuntary context switches= 38508
runsolver used 2.04969 s user time and 5.71113 s system time
The end
Begin job on node62 on Sat Jan 6 11:35:40 UTC 2007
IDJOB= 237517
IDBENCH= 6946
FILE ID= node62/237517-1168083326
PBS_JOBID= 3476224
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_28.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237517-1168083326/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-237517-1168083326 -o ROOT/results/node62/solver-237517-1168083326 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237517-1168083326/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d182319e3384c4b9a637e552d7b21712
RANDOM SEED= 678152779
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.259
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.259
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: 1068984 kB
Buffers: 60292 kB
Cached: 782908 kB
SwapCached: 0 kB
Active: 180684 kB
Inactive: 727320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1068984 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2972 kB
Writeback: 0 kB
Mapped: 85000 kB
Slab: 63936 kB
Committed_AS: 3761040 kB
PageTables: 2000 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= 66547 MiB
End job on node62 on Sat Jan 6 12:05:51 UTC 2007