0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/215367-1168078221/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.43 nbVariables=534 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.135 cpuTime=0.11 mem=8M25
0.43
0.43 predicates being loaded...
0.44
0.44 constraints being loaded...
1.07 nbConstraints=3013 nbConvertedConstraints=2763 nbConvertConstraintsChecks=16 nbExtensionStructures=2
1.07 nbSharedExtensionStructures=2761 nbConflictsStructures=3 nbSharedConflictsStructures=2785
1.07 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2
1.07 nbSharedEvaluationManagers=248 maxDegree=52 maxArity=32
1.07 => wckTime=0.777 cpuTime=0.63 mem=46M57
1.15
1.16 solver IterativeSystematicSolver being built...
1.38 => wckTime=1.083 cpuTime=0.81 mem=32M443
1.40
1.40 preprocessing
1.40 nbConstraintChecks=0 nbPropagations=534 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.40 detectedInconsistency=no
1.40 => wckTime=0.02 cpuTime=0.01 mem=33M416
1.63
1.63 search
1.63 run=0 nbConstraintChecks=28194 nbValidityChecks=89361 nbPropagations=1539 nbRevisions=59577
1.63 nbUselessRevisions=58685 nbAssignments=191 nbFailedAssignments=2 nbBacktracks=22 nbVisitedNodes=198
1.63 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.249 cpuTime=0.2 mem=34M405
1.80
1.80 search
1.80 run=1 nbConstraintChecks=80133 nbValidityChecks=187268 nbPropagations=5229 nbRevisions=197463
1.80 nbUselessRevisions=193528 nbAssignments=388 nbFailedAssignments=4 nbBacktracks=52 nbVisitedNodes=410
1.80 nbRestartNogoods=1 mapSize=19 nbInferences=0 nbTooLargeKeys=0
1.80 => wckTime=0.422 cpuTime=0.38 mem=34M405
1.96
1.96 search
1.96 run=2 nbConstraintChecks=127119 nbValidityChecks=281454 nbPropagations=10781 nbRevisions=407991
1.96 nbUselessRevisions=399066 nbAssignments=559 nbFailedAssignments=7 nbBacktracks=89 nbVisitedNodes=594
1.96 nbRestartNogoods=2 mapSize=31 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.582 cpuTime=0.54 mem=34M405
2.16
2.16 search
2.16 run=3 nbConstraintChecks=192214 nbValidityChecks=383505 nbPropagations=18904 nbRevisions=704959
2.16 nbUselessRevisions=688347 nbAssignments=743 nbFailedAssignments=9 nbBacktracks=135 nbVisitedNodes=797
2.16 nbRestartNogoods=3 mapSize=49 nbInferences=0 nbTooLargeKeys=0
2.16 => wckTime=0.778 cpuTime=0.73 mem=34M405
2.59
2.59 search
2.59 run=4 nbConstraintChecks=385979 nbValidityChecks=532865 nbPropagations=34239 nbRevisions=1178786
2.59 nbUselessRevisions=1146164 nbAssignments=939 nbFailedAssignments=14 nbBacktracks=203 nbVisitedNodes=1052
2.59 nbRestartNogoods=4 mapSize=107 nbInferences=0 nbTooLargeKeys=0
2.59 => wckTime=1.21 cpuTime=1.15 mem=34M405
2.82
2.82 search
2.82 run=5 nbConstraintChecks=475875 nbValidityChecks=635833 nbPropagations=53177 nbRevisions=1755650
2.82 nbUselessRevisions=1702801 nbAssignments=1149 nbFailedAssignments=21 nbBacktracks=311 nbVisitedNodes=1288
2.82 nbRestartNogoods=5 mapSize=134 nbInferences=0 nbTooLargeKeys=0
2.82 => wckTime=1.441 cpuTime=1.38 mem=34M405
3.47
3.47 search
3.47 run=6 nbConstraintChecks=752250 nbValidityChecks=843146 nbPropagations=81823 nbRevisions=2573013
3.47 nbUselessRevisions=2487880 nbAssignments=1370 nbFailedAssignments=38 nbBacktracks=430 nbVisitedNodes=1592
3.47 nbRestartNogoods=7 mapSize=215 nbInferences=0 nbTooLargeKeys=0
3.47 => wckTime=2.084 cpuTime=2.02 mem=34M405
4.63
4.63 search
4.63 run=7 nbConstraintChecks=1292648 nbValidityChecks=1178589 nbPropagations=131269 nbRevisions=3845103
4.63 nbUselessRevisions=3701565 nbAssignments=1646 nbFailedAssignments=65 nbBacktracks=600 nbVisitedNodes=2017
4.63 nbRestartNogoods=9 mapSize=365 nbInferences=0 nbTooLargeKeys=0
4.63 => wckTime=3.248 cpuTime=3.16 mem=34M405
6.51
6.51 search
6.51 run=8 nbConstraintChecks=2133868 nbValidityChecks=1749827 nbPropagations=210973 nbRevisions=5832641
6.51 nbUselessRevisions=5593454 nbAssignments=2050 nbFailedAssignments=100 nbBacktracks=869 nbVisitedNodes=2666
6.51 nbRestartNogoods=10 mapSize=608 nbInferences=0 nbTooLargeKeys=0
6.51 => wckTime=5.127 cpuTime=5.03 mem=35M378
9.99
9.99 search
9.99 run=9 nbConstraintChecks=3482433 nbValidityChecks=2863963 nbPropagations=336398 nbRevisions=9034090
9.99 nbUselessRevisions=8642149 nbAssignments=2591 nbFailedAssignments=148 nbBacktracks=1256 nbVisitedNodes=3574
9.99 nbRestartNogoods=12 mapSize=975 nbInferences=0 nbTooLargeKeys=0
9.99 => wckTime=8.611 cpuTime=8.49 mem=35M378
10.46
10.46 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=35M378)
14.48
14.48 search
14.48 run=10 nbConstraintChecks=5390146 nbValidityChecks=4103013 nbPropagations=526902 nbRevisions=13776010
14.48 nbUselessRevisions=13151993 nbAssignments=3366 nbFailedAssignments=230 nbBacktracks=1837 nbVisitedNodes=4917
14.49 nbRestartNogoods=15
14.49 => wckTime=13.103 cpuTime=12.95 mem=35M378
21.21
21.21 search
21.21 run=11 nbConstraintChecks=8163081 nbValidityChecks=6048408 nbPropagations=812426 nbRevisions=20838609
21.21 nbUselessRevisions=19868442 nbAssignments=4486 nbFailedAssignments=375 nbBacktracks=2703 nbVisitedNodes=6843
21.21 nbRestartNogoods=18
21.21 => wckTime=19.827 cpuTime=19.65 mem=35M378
32.07
32.07 search
32.07 run=12 nbConstraintChecks=12349879 nbValidityChecks=9186408 nbPropagations=1236890 nbRevisions=31449413
32.07 nbUselessRevisions=29961805 nbAssignments=6120 nbFailedAssignments=607 nbBacktracks=4015 nbVisitedNodes=9678
32.07 nbRestartNogoods=21
32.07 => wckTime=30.691 cpuTime=30.45 mem=35M378
47.35
47.35 search
47.35 run=13 nbConstraintChecks=18247155 nbValidityChecks=13626450 nbPropagations=1860264 nbRevisions=47102415
47.35 nbUselessRevisions=44853056 nbAssignments=8454 nbFailedAssignments=888 nbBacktracks=5961 nbVisitedNodes=13748
47.35 nbRestartNogoods=23
47.35 => wckTime=45.965 cpuTime=45.63 mem=35M378
64.42
64.42 search
64.42 run=14 nbConstraintChecks=25831772 nbValidityChecks=18235938 nbPropagations=2767201 nbRevisions=68974946
64.42 nbUselessRevisions=65624452 nbAssignments=11982 nbFailedAssignments=1411 nbBacktracks=8882 nbVisitedNodes=19479
64.42 nbRestartNogoods=29
64.42 => wckTime=63.039 cpuTime=62.63 mem=35M378
74.08
74.08 search
74.08 run=15 nbConstraintChecks=30138981 nbValidityChecks=20964641 nbPropagations=3853800 nbRevisions=94499275
74.08 nbUselessRevisions=89842388 nbAssignments=16930 nbFailedAssignments=1904 nbBacktracks=13260
74.08 nbVisitedNodes=25658 nbRestartNogoods=32
74.08 => wckTime=72.699 cpuTime=72.23 mem=35M378
86.85
86.85 search
86.85 run=16 nbConstraintChecks=36665599 nbValidityChecks=24976993 nbPropagations=5239789 nbRevisions=125688911
86.85 nbUselessRevisions=119390677 nbAssignments=24470 nbFailedAssignments=2782 nbBacktracks=19832
86.85 nbVisitedNodes=35149 nbRestartNogoods=36
86.85 => wckTime=85.465 cpuTime=84.93 mem=35M378
133.38
133.38 search
133.38 run=17 nbConstraintChecks=57151021 nbValidityChecks=39789515 nbPropagations=7410333 nbRevisions=175772477
133.38 nbUselessRevisions=166855103 nbAssignments=36093 nbFailedAssignments=4454 nbBacktracks=29722
133.38 nbVisitedNodes=53548 nbRestartNogoods=41
133.38 => wckTime=131.994 cpuTime=131.23 mem=35M378
242.77
242.77 search
242.77 run=18 nbConstraintChecks=98184679 nbValidityChecks=74701376 nbPropagations=10982216 nbRevisions=263453747
242.77 nbUselessRevisions=250123678 nbAssignments=54230 nbFailedAssignments=7732 nbBacktracks=44504
242.77 nbVisitedNodes=83929 nbRestartNogoods=43
242.77 => wckTime=241.389 cpuTime=240.09 mem=35M378
417.02
417.02 search
417.02 run=19 nbConstraintChecks=166616472 nbValidityChecks=128520479 nbPropagations=16932839 nbRevisions=411974717
417.02 nbUselessRevisions=391258496 nbAssignments=79795 nbFailedAssignments=11032 nbBacktracks=66687
417.02 nbVisitedNodes=129457 nbRestartNogoods=48
417.02 => wckTime=415.638 cpuTime=413.46 mem=35M378
605.76
605.76 search
605.76 run=20 nbConstraintChecks=248811623 nbValidityChecks=193063744 nbPropagations=26018588 nbRevisions=636695601
605.76 nbUselessRevisions=604758642 nbAssignments=118539 nbFailedAssignments=16447 nbBacktracks=99941
605.76 nbVisitedNodes=192357 nbRestartNogoods=53
605.76 => wckTime=604.376 cpuTime=601.23 mem=35M378
909.13
909.13 search
909.13 run=21 nbConstraintChecks=386572831 nbValidityChecks=282022889 nbPropagations=40311313 nbRevisions=979071693
909.13 nbUselessRevisions=929436782 nbAssignments=178170 nbFailedAssignments=26112 nbBacktracks=149823
909.13 nbVisitedNodes=293240 nbRestartNogoods=57
909.13 => wckTime=907.745 cpuTime=903.07 mem=35M378
1326.87
1326.87 search
1326.87 run=22 nbConstraintChecks=569169534 nbValidityChecks=422063984 nbPropagations=61582803 nbRevisions=1490012043
1326.87 nbUselessRevisions=1414072918 nbAssignments=267121 nbFailedAssignments=40149 nbBacktracks=224642
1326.87 nbVisitedNodes=437538 nbRestartNogoods=65
1326.87 => wckTime=1325.487 cpuTime=1318.72 mem=35M378
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-215367-1168078221 -o ROOT/results/node62/solver-215367-1168078221 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215367-1168078221/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.09 1.03 1.20 5/69 2351
/proc/meminfo: memFree=1134840/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=18540 CPUtime=0
/proc/2350/stat : 2350 (runsolver) R 2344 2350 2261 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156219904 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 236437695783 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/2350/statm: 4635 279 244 17 0 2626 0
[startup+0.107121 s]
/proc/loadavg: 1.09 1.03 1.20 5/69 2351
/proc/meminfo: memFree=1134840/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=914988 CPUtime=0.08
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 3035 0 1 0 7 1 0 0 23 0 8 0 156219904 936947712 2781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582903 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 228747 2781 1440 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.519208 s]
/proc/loadavg: 1.09 1.03 1.20 5/69 2351
/proc/meminfo: memFree=1134840/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916352 CPUtime=0.49
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 7999 0 1 0 45 4 0 0 25 0 8 0 156219904 938344448 7738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073542797 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 229088 7738 2144 14 0 215558 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916352
[startup+1.34537 s]
/proc/loadavg: 1.09 1.03 1.20 3/87 2385
/proc/meminfo: memFree=1019688/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916644 CPUtime=1.31
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17065 0 1 0 112 19 0 0 17 0 8 0 156219904 938643456 16802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073448391 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 229161 16802 2518 14 0 215631 0
[pid=2350/tid=2367] ppid=2344 vsize=916644 CPUtime=0.06
/proc/2350/task/2367/stat : 2367 (java) S 2344 2350 2261 0 -1 64 760 0 0 0 6 0 0 0 17 0 8 0 156219908 938643456 16802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2368] ppid=2344 vsize=916644 CPUtime=0
/proc/2350/task/2368/stat : 2368 (java) S 2344 2350 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156219909 938643456 16802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2369] ppid=2344 vsize=916644 CPUtime=0
/proc/2350/task/2369/stat : 2369 (java) S 2344 2350 2261 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156219909 938643456 16802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2370] ppid=2344 vsize=916644 CPUtime=0
/proc/2350/task/2370/stat : 2370 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156219912 938643456 16802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2371] ppid=2344 vsize=916644 CPUtime=0.22
/proc/2350/task/2371/stat : 2371 (java) S 2344 2350 2261 0 -1 64 463 0 0 0 21 1 0 0 15 0 8 0 156219912 938643456 16802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2372] ppid=2344 vsize=916644 CPUtime=0
/proc/2350/task/2372/stat : 2372 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156219912 938643456 16802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2373] ppid=2344 vsize=916644 CPUtime=0
/proc/2350/task/2373/stat : 2373 (java) S 2344 2350 2261 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156219912 938643456 16802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 916644
[startup+2.98269 s]
/proc/loadavg: 1.16 1.04 1.21 4/87 2385
/proc/meminfo: memFree=999912/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916776 CPUtime=2.94
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17148 0 1 0 274 20 0 0 25 0 8 0 156219904 938778624 16883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035005 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 229194 16883 2534 14 0 215664 0
[pid=2350/tid=2367] ppid=2344 vsize=916776 CPUtime=0.06
/proc/2350/task/2367/stat : 2367 (java) S 2344 2350 2261 0 -1 64 761 0 0 0 6 0 0 0 17 0 8 0 156219908 938778624 16883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2368] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2368/stat : 2368 (java) S 2344 2350 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2369] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2369/stat : 2369 (java) S 2344 2350 2261 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2370] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2370/stat : 2370 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156219912 938778624 16883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2371] ppid=2344 vsize=916776 CPUtime=0.29
/proc/2350/task/2371/stat : 2371 (java) S 2344 2350 2261 0 -1 64 509 0 0 0 27 2 0 0 16 0 8 0 156219912 938778624 16883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2372] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2372/stat : 2372 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156219912 938778624 16883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2373] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2373/stat : 2373 (java) S 2344 2350 2261 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156219912 938778624 16883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 916776
[startup+6.18332 s]
/proc/loadavg: 1.16 1.04 1.21 3/87 2385
/proc/meminfo: memFree=978152/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916776 CPUtime=6.12
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17160 0 1 0 592 20 0 0 25 0 8 0 156219904 938778624 16893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 229194 16893 2534 14 0 215664 0
[pid=2350/tid=2367] ppid=2344 vsize=916776 CPUtime=0.06
/proc/2350/task/2367/stat : 2367 (java) S 2344 2350 2261 0 -1 64 761 0 0 0 6 0 0 0 16 0 8 0 156219908 938778624 16893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2368] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2368/stat : 2368 (java) S 2344 2350 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2369] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2369/stat : 2369 (java) S 2344 2350 2261 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2370] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2370/stat : 2370 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156219912 938778624 16893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2371] ppid=2344 vsize=916776 CPUtime=0.3
/proc/2350/task/2371/stat : 2371 (java) S 2344 2350 2261 0 -1 64 519 0 0 0 28 2 0 0 15 0 8 0 156219912 938778624 16893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2372] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2372/stat : 2372 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156219912 938778624 16893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2373] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2373/stat : 2373 (java) S 2344 2350 2261 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156219912 938778624 16893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 916776
[startup+12.6616 s]
/proc/loadavg: 1.29 1.07 1.22 3/87 2385
/proc/meminfo: memFree=978224/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916776 CPUtime=12.57
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17167 0 1 0 1237 20 0 0 25 0 8 0 156219904 938778624 16898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035002 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 229194 16898 2534 14 0 215664 0
[pid=2350/tid=2367] ppid=2344 vsize=916776 CPUtime=0.06
/proc/2350/task/2367/stat : 2367 (java) S 2344 2350 2261 0 -1 64 761 0 0 0 6 0 0 0 16 0 8 0 156219908 938778624 16898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2368] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2368/stat : 2368 (java) S 2344 2350 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2369] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2369/stat : 2369 (java) S 2344 2350 2261 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2370] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2370/stat : 2370 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156219912 938778624 16898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2371] ppid=2344 vsize=916776 CPUtime=0.31
/proc/2350/task/2371/stat : 2371 (java) S 2344 2350 2261 0 -1 64 526 0 0 0 29 2 0 0 17 0 8 0 156219912 938778624 16898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2372] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2372/stat : 2372 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156219912 938778624 16898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2373] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2373/stat : 2373 (java) S 2344 2350 2261 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156219912 938778624 16898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 916776
[startup+25.5241 s]
/proc/loadavg: 1.40 1.10 1.22 3/87 2385
/proc/meminfo: memFree=978352/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916776 CPUtime=25.37
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17169 0 1 0 2517 20 0 0 25 0 8 0 156219904 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 229194 16899 2534 14 0 215664 0
[pid=2350/tid=2367] ppid=2344 vsize=916776 CPUtime=0.06
/proc/2350/task/2367/stat : 2367 (java) S 2344 2350 2261 0 -1 64 761 0 0 0 6 0 0 0 16 0 8 0 156219908 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2368] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2368/stat : 2368 (java) S 2344 2350 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2369] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2369/stat : 2369 (java) S 2344 2350 2261 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2370] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2370/stat : 2370 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156219912 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2371] ppid=2344 vsize=916776 CPUtime=0.32
/proc/2350/task/2371/stat : 2371 (java) S 2344 2350 2261 0 -1 64 527 0 0 0 30 2 0 0 16 0 8 0 156219912 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2372] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2372/stat : 2372 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156219912 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2373] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2373/stat : 2373 (java) S 2344 2350 2261 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156219912 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 916776
[startup+51.1492 s]
/proc/loadavg: 1.60 1.17 1.24 3/87 2385
/proc/meminfo: memFree=978480/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916776 CPUtime=50.86
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17169 0 1 0 5065 21 0 0 25 0 8 0 156219904 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074031859 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 229194 16899 2534 14 0 215664 0
[pid=2350/tid=2367] ppid=2344 vsize=916776 CPUtime=0.06
/proc/2350/task/2367/stat : 2367 (java) S 2344 2350 2261 0 -1 64 761 0 0 0 6 0 0 0 16 0 8 0 156219908 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2368] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2368/stat : 2368 (java) S 2344 2350 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2369] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2369/stat : 2369 (java) S 2344 2350 2261 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2370] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2370/stat : 2370 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156219912 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2371] ppid=2344 vsize=916776 CPUtime=0.32
/proc/2350/task/2371/stat : 2371 (java) S 2344 2350 2261 0 -1 64 527 0 0 0 30 2 0 0 16 0 8 0 156219912 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2372] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2372/stat : 2372 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156219912 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2373] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2373/stat : 2373 (java) S 2344 2350 2261 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156219912 938778624 16899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 916776
[startup+102.387 s]
/proc/loadavg: 1.90 1.33 1.29 3/87 2385
/proc/meminfo: memFree=978544/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916776 CPUtime=101.84
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17171 0 1 0 10163 21 0 0 25 0 8 0 156219904 938778624 16900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073999277 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 229194 16900 2534 14 0 215664 0
[pid=2350/tid=2367] ppid=2344 vsize=916776 CPUtime=0.06
/proc/2350/task/2367/stat : 2367 (java) S 2344 2350 2261 0 -1 64 761 0 0 0 6 0 0 0 16 0 8 0 156219908 938778624 16900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2368] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2368/stat : 2368 (java) S 2344 2350 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2369] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2369/stat : 2369 (java) S 2344 2350 2261 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2370] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2370/stat : 2370 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156219912 938778624 16900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2371] ppid=2344 vsize=916776 CPUtime=0.32
/proc/2350/task/2371/stat : 2371 (java) S 2344 2350 2261 0 -1 64 528 0 0 0 30 2 0 0 17 0 8 0 156219912 938778624 16900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2372] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2372/stat : 2372 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156219912 938778624 16900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2373] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2373/stat : 2373 (java) S 2344 2350 2261 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156219912 938778624 16900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 916776
[startup+162.466 s]
/proc/loadavg: 2.06 1.48 1.34 3/87 2385
/proc/meminfo: memFree=978544/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916776 CPUtime=161.64
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17172 0 1 0 16142 22 0 0 25 0 8 0 156219904 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025687 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.14
Current children cumulated vsize (KiB) 916776
[startup+1484.34 s]
/proc/loadavg: 2.07 2.02 1.83 3/87 2387
/proc/meminfo: memFree=978352/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916776 CPUtime=1476.91
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17172 0 1 0 147661 30 0 0 25 0 8 0 156219904 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074037656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 229194 16901 2534 14 0 215664 0
[pid=2350/tid=2367] ppid=2344 vsize=916776 CPUtime=0.06
/proc/2350/task/2367/stat : 2367 (java) S 2344 2350 2261 0 -1 64 761 0 0 0 6 0 0 0 16 0 8 0 156219908 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2368] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2368/stat : 2368 (java) S 2344 2350 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2369] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2369/stat : 2369 (java) S 2344 2350 2261 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2370] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2370/stat : 2370 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2371] ppid=2344 vsize=916776 CPUtime=0.32
/proc/2350/task/2371/stat : 2371 (java) S 2344 2350 2261 0 -1 64 529 0 0 0 30 2 0 0 16 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2372] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2372/stat : 2372 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2373] ppid=2344 vsize=916776 CPUtime=0.07
/proc/2350/task/2373/stat : 2373 (java) S 2344 2350 2261 0 -1 64 0 0 0 0 4 3 0 0 15 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.91
Current children cumulated vsize (KiB) 916776
[startup+1544.42 s]
/proc/loadavg: 2.08 2.03 1.84 3/87 2387
/proc/meminfo: memFree=978416/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916776 CPUtime=1536.7
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17172 0 1 0 153639 31 0 0 25 0 8 0 156219904 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074037743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 229194 16901 2534 14 0 215664 0
[pid=2350/tid=2367] ppid=2344 vsize=916776 CPUtime=0.06
/proc/2350/task/2367/stat : 2367 (java) S 2344 2350 2261 0 -1 64 761 0 0 0 6 0 0 0 16 0 8 0 156219908 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2368] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2368/stat : 2368 (java) S 2344 2350 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2369] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2369/stat : 2369 (java) S 2344 2350 2261 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2370] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2370/stat : 2370 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2371] ppid=2344 vsize=916776 CPUtime=0.32
/proc/2350/task/2371/stat : 2371 (java) S 2344 2350 2261 0 -1 64 529 0 0 0 30 2 0 0 16 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2372] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2372/stat : 2372 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2373] ppid=2344 vsize=916776 CPUtime=0.08
/proc/2350/task/2373/stat : 2373 (java) R 2344 2350 2261 0 -1 64 0 0 0 0 4 4 0 0 15 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.7
Current children cumulated vsize (KiB) 916776
[startup+1604.5 s]
/proc/loadavg: 2.03 2.02 1.85 3/87 2387
/proc/meminfo: memFree=978352/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916776 CPUtime=1596.5
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17172 0 1 0 159618 32 0 0 25 0 8 0 156219904 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035002 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 229194 16901 2534 14 0 215664 0
[pid=2350/tid=2367] ppid=2344 vsize=916776 CPUtime=0.06
/proc/2350/task/2367/stat : 2367 (java) S 2344 2350 2261 0 -1 64 761 0 0 0 6 0 0 0 16 0 8 0 156219908 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2368] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2368/stat : 2368 (java) S 2344 2350 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2369] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2369/stat : 2369 (java) S 2344 2350 2261 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2370] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2370/stat : 2370 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2371] ppid=2344 vsize=916776 CPUtime=0.32
/proc/2350/task/2371/stat : 2371 (java) S 2344 2350 2261 0 -1 64 529 0 0 0 30 2 0 0 16 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2372] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2372/stat : 2372 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2373] ppid=2344 vsize=916776 CPUtime=0.08
/proc/2350/task/2373/stat : 2373 (java) S 2344 2350 2261 0 -1 64 0 0 0 0 4 4 0 0 15 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.5
Current children cumulated vsize (KiB) 916776
[startup+1664.58 s]
/proc/loadavg: 2.01 2.02 1.85 3/87 2387
/proc/meminfo: memFree=978352/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916776 CPUtime=1656.26
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17172 0 1 0 165594 32 0 0 25 0 8 0 156219904 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035060 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 229194 16901 2534 14 0 215664 0
[pid=2350/tid=2367] ppid=2344 vsize=916776 CPUtime=0.06
/proc/2350/task/2367/stat : 2367 (java) S 2344 2350 2261 0 -1 64 761 0 0 0 6 0 0 0 16 0 8 0 156219908 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2368] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2368/stat : 2368 (java) S 2344 2350 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2369] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2369/stat : 2369 (java) S 2344 2350 2261 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2370] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2370/stat : 2370 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2371] ppid=2344 vsize=916776 CPUtime=0.32
/proc/2350/task/2371/stat : 2371 (java) S 2344 2350 2261 0 -1 64 529 0 0 0 30 2 0 0 16 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2372] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2372/stat : 2372 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2373] ppid=2344 vsize=916776 CPUtime=0.08
/proc/2350/task/2373/stat : 2373 (java) S 2344 2350 2261 0 -1 64 0 0 0 0 4 4 0 0 15 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.26
Current children cumulated vsize (KiB) 916776
[startup+1724.67 s]
/proc/loadavg: 2.00 2.01 1.86 3/87 2387
/proc/meminfo: memFree=978416/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916776 CPUtime=1716.05
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17172 0 1 0 171573 32 0 0 25 0 8 0 156219904 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074006743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 229194 16901 2534 14 0 215664 0
[pid=2350/tid=2367] ppid=2344 vsize=916776 CPUtime=0.06
/proc/2350/task/2367/stat : 2367 (java) S 2344 2350 2261 0 -1 64 761 0 0 0 6 0 0 0 16 0 8 0 156219908 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2368] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2368/stat : 2368 (java) S 2344 2350 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2369] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2369/stat : 2369 (java) S 2344 2350 2261 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2370] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2370/stat : 2370 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2371] ppid=2344 vsize=916776 CPUtime=0.32
/proc/2350/task/2371/stat : 2371 (java) S 2344 2350 2261 0 -1 64 529 0 0 0 30 2 0 0 16 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2372] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2372/stat : 2372 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2373] ppid=2344 vsize=916776 CPUtime=0.08
/proc/2350/task/2373/stat : 2373 (java) S 2344 2350 2261 0 -1 64 0 0 0 0 4 4 0 0 15 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1716.05
Current children cumulated vsize (KiB) 916776
[startup+1784.76 s]
/proc/loadavg: 2.00 2.00 1.86 3/87 2387
/proc/meminfo: memFree=978352/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916776 CPUtime=1775.84
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17172 0 1 0 177551 33 0 0 25 0 8 0 156219904 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035002 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2350/statm: 229194 16901 2534 14 0 215664 0
[pid=2350/tid=2367] ppid=2344 vsize=916776 CPUtime=0.06
/proc/2350/task/2367/stat : 2367 (java) S 2344 2350 2261 0 -1 64 761 0 0 0 6 0 0 0 16 0 8 0 156219908 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2368] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2368/stat : 2368 (java) S 2344 2350 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2369] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2369/stat : 2369 (java) S 2344 2350 2261 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2370] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2370/stat : 2370 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2371] ppid=2344 vsize=916776 CPUtime=0.32
/proc/2350/task/2371/stat : 2371 (java) S 2344 2350 2261 0 -1 64 529 0 0 0 30 2 0 0 16 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2372] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2372/stat : 2372 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2373] ppid=2344 vsize=916776 CPUtime=0.08
/proc/2350/task/2373/stat : 2373 (java) R 2344 2350 2261 0 -1 64 0 0 0 0 4 4 0 0 15 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.84
Current children cumulated vsize (KiB) 916776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.15 s]
/proc/loadavg: 2.00 2.00 1.87 2/75 2399
/proc/meminfo: memFree=1080912/2055920 swapFree=4192812/4192956
[pid=2350] ppid=2344 vsize=916776 CPUtime=1800.09
/proc/2350/stat : 2350 (java) R 2344 2350 2261 0 -1 0 17172 0 1 0 179976 33 0 0 25 0 8 0 156219904 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073994295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2350/statm: 229194 16901 2534 14 0 215664 0
[pid=2350/tid=2367] ppid=2344 vsize=916776 CPUtime=0.06
/proc/2350/task/2367/stat : 2367 (java) S 2344 2350 2261 0 -1 64 761 0 0 0 6 0 0 0 16 0 8 0 156219908 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2368] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2368/stat : 2368 (java) S 2344 2350 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2369] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2369/stat : 2369 (java) S 2344 2350 2261 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156219909 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2370] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2370/stat : 2370 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2371] ppid=2344 vsize=916776 CPUtime=0.32
/proc/2350/task/2371/stat : 2371 (java) S 2344 2350 2261 0 -1 64 529 0 0 0 30 2 0 0 16 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2372] ppid=2344 vsize=916776 CPUtime=0
/proc/2350/task/2372/stat : 2372 (java) S 2344 2350 2261 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2350/tid=2373] ppid=2344 vsize=916776 CPUtime=0.08
/proc/2350/task/2373/stat : 2373 (java) S 2344 2350 2261 0 -1 64 0 0 0 0 4 4 0 0 15 0 8 0 156219912 938778624 16901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 916776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.19
CPU time (s): 1800.13
CPU user time (s): 1799.78
CPU system time (s): 0.347947
CPU usage (%): 99.4995
Max. virtual memory (cumulated for all children) (KiB): 916776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.347947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17188
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= 38055
involuntary context switches= 61723
runsolver used 1.9937 s user time and 5.11322 s system time
The end
Begin job on node62 on Sat Jan 6 10:10:21 UTC 2007
IDJOB= 215367
IDBENCH= 4996
FILE ID= node62/215367-1168078221
PBS_JOBID= 3476083
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32e2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215367-1168078221/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-215367-1168078221 -o ROOT/results/node62/solver-215367-1168078221 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215367-1168078221/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3b692e4a17e78377f286e1bb130ab2ea
RANDOM SEED= 624043883
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: 1134920 kB
Buffers: 59104 kB
Cached: 763084 kB
SwapCached: 0 kB
Active: 121168 kB
Inactive: 721328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1134920 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6864 kB
Writeback: 0 kB
Mapped: 30680 kB
Slab: 63928 kB
Committed_AS: 2817300 kB
PageTables: 1788 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= 66550 MiB
End job on node62 on Sat Jan 6 10:40:32 UTC 2007