0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/216241-1168078948/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.58 nbVariables=4644 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.58 => wckTime=0.267 cpuTime=0.19 mem=13M728
0.58
0.58 predicates being loaded...
0.61
0.61 constraints being loaded...
4.94 nbConstraints=31254 nbMergedConstraints=174 nbConflictsStructures=5 nbSharedConflictsStructures=31171
4.94 nbUnbuiltConflictsStructures=6 nbSharedBinaryRepresentations=0 nbEvaluationManagers=11
4.94 nbSharedEvaluationManagers=31243 maxDegree=31 maxArity=29
4.94 => wckTime=4.623 cpuTime=3.91 mem=57M252
5.13
5.13 solver IterativeSystematicSolver being built...
6.06 => wckTime=5.748 cpuTime=4.57 mem=73M640
6.15
6.15 preprocessing
6.15 nbConstraintChecks=0 nbPropagations=4644 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
6.15 detectedInconsistency=no
6.15 => wckTime=0.075 cpuTime=0.06 mem=75M686
7.55
7.55 search
7.55 run=0 nbConstraintChecks=19855 nbValidityChecks=38677 nbPropagations=5838 nbRevisions=36495
7.55 nbUselessRevisions=36427 nbAssignments=1143 nbFailedAssignments=2 nbBacktracks=12 nbVisitedNodes=1148
7.55 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
7.55 => wckTime=1.483 cpuTime=1.44 mem=78M803
8.54
8.54 search
8.54 run=1 nbConstraintChecks=20540 nbValidityChecks=84528 nbPropagations=12645 nbRevisions=101681
8.54 nbUselessRevisions=101434 nbAssignments=2029 nbFailedAssignments=5 nbBacktracks=39 nbVisitedNodes=2040
8.54 nbRestartNogoods=1 mapSize=8 nbInferences=0 nbTooLargeKeys=0
8.54 => wckTime=2.475 cpuTime=2.4 mem=79M826
9.22
9.22 search
9.22 run=2 nbConstraintChecks=21785 nbValidityChecks=117088 nbPropagations=20159 nbRevisions=187020
9.22 nbUselessRevisions=186477 nbAssignments=2647 nbFailedAssignments=8 nbBacktracks=70 nbVisitedNodes=2664
9.22 nbRestartNogoods=2 mapSize=13 nbInferences=0 nbTooLargeKeys=0
9.22 => wckTime=3.151 cpuTime=3.08 mem=79M826
9.62
9.62 search
9.62 run=3 nbConstraintChecks=25333 nbValidityChecks=135233 nbPropagations=28118 nbRevisions=283438
9.62 nbUselessRevisions=282476 nbAssignments=2997 nbFailedAssignments=11 nbBacktracks=105 nbVisitedNodes=3020
9.62 nbRestartNogoods=3 mapSize=18 nbInferences=0 nbTooLargeKeys=0
9.62 => wckTime=3.547 cpuTime=3.47 mem=80M848
9.77
9.77 search
9.77 run=4 nbConstraintChecks=38221 nbValidityChecks=138376 nbPropagations=36299 nbRevisions=381633
9.77 nbUselessRevisions=380092 nbAssignments=3098 nbFailedAssignments=15 nbBacktracks=163 nbVisitedNodes=3129
9.77 nbRestartNogoods=4 mapSize=25 nbInferences=0 nbTooLargeKeys=0
9.77 => wckTime=3.696 cpuTime=3.62 mem=80M848
9.92
9.92 search
9.92 run=5 nbConstraintChecks=39121 nbValidityChecks=141593 nbPropagations=44864 nbRevisions=481513
9.92 nbUselessRevisions=479097 nbAssignments=3232 nbFailedAssignments=29 nbBacktracks=243 nbVisitedNodes=3291
9.92 nbRestartNogoods=5 mapSize=51 nbInferences=0 nbTooLargeKeys=0
9.92 => wckTime=3.851 cpuTime=3.77 mem=80M848
10.12
10.12 search
10.12 run=6 nbConstraintChecks=40211 nbValidityChecks=145713 nbPropagations=53937 nbRevisions=583559
10.12 nbUselessRevisions=579874 nbAssignments=3404 nbFailedAssignments=48 nbBacktracks=356 nbVisitedNodes=3501
10.12 nbRestartNogoods=7 mapSize=87 nbInferences=0 nbTooLargeKeys=0
10.12 => wckTime=4.048 cpuTime=3.97 mem=80M848
10.38
10.38 search
10.38 run=7 nbConstraintChecks=41707 nbValidityChecks=151142 nbPropagations=63697 nbRevisions=688473
10.38 nbUselessRevisions=682984 nbAssignments=3630 nbFailedAssignments=74 nbBacktracks=526 nbVisitedNodes=3779
10.38 nbRestartNogoods=9 mapSize=138 nbInferences=0 nbTooLargeKeys=0
10.38 => wckTime=4.307 cpuTime=4.23 mem=80M848
20.68
20.68 search
20.68 run=8 nbConstraintChecks=3199697 nbValidityChecks=220335 nbPropagations=75777 nbRevisions=837686
20.68 nbUselessRevisions=829359 nbAssignments=5086 nbFailedAssignments=113 nbBacktracks=786 nbVisitedNodes=5317
20.68 nbRestartNogoods=10 mapSize=216 nbInferences=0 nbTooLargeKeys=0
20.68 => wckTime=14.612 cpuTime=14.53 mem=82M894
34.22
34.22 search
34.22 run=9 nbConstraintChecks=7633934 nbValidityChecks=285815 nbPropagations=90470 nbRevisions=1028565
34.22 nbUselessRevisions=1015844 nbAssignments=6390 nbFailedAssignments=162 nbBacktracks=1170 nbVisitedNodes=6730
34.22 nbRestartNogoods=14 mapSize=321 nbInferences=0 nbTooLargeKeys=0
34.22 => wckTime=28.152 cpuTime=28.06 mem=84M939
35.06
35.06 search
35.06 run=10 nbConstraintChecks=7640735 nbValidityChecks=304501 nbPropagations=107595 nbRevisions=1229680
35.06 nbUselessRevisions=1210604 nbAssignments=7106 nbFailedAssignments=257 nbBacktracks=1747 nbVisitedNodes=7636
35.06 nbRestartNogoods=18 mapSize=508 nbInferences=0 nbTooLargeKeys=0
35.06 => wckTime=28.988 cpuTime=28.88 mem=84M939
51.21
51.24 search
51.24 run=11 nbConstraintChecks=12854123 nbValidityChecks=418438 nbPropagations=131729 nbRevisions=1501956
51.24 nbUselessRevisions=1470196 nbAssignments=8659 nbFailedAssignments=443 nbBacktracks=2614 nbVisitedNodes=9565
51.24 nbRestartNogoods=21 mapSize=787 nbInferences=0 nbTooLargeKeys=0
51.24 => wckTime=45.139 cpuTime=45.03 mem=85M962
69.08
69.08 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=86M985)
74.81
74.81 search
74.81 run=12 nbConstraintChecks=20811854 nbValidityChecks=535971 nbPropagations=164746 nbRevisions=1847115
74.81 nbUselessRevisions=1794160 nbAssignments=10290 nbFailedAssignments=688 nbBacktracks=3911 nbVisitedNodes=11696
74.81 nbRestartNogoods=26
74.81 => wckTime=68.737 cpuTime=68.62 mem=86M985
77.04
77.04 search
77.04 run=13 nbConstraintChecks=20836447 nbValidityChecks=604639 nbPropagations=206309 nbRevisions=2232635
77.04 nbUselessRevisions=2151206 nbAssignments=12618 nbFailedAssignments=1000 nbBacktracks=5860 nbVisitedNodes=14671
77.04 nbRestartNogoods=31
77.04 => wckTime=70.972 cpuTime=70.85 mem=86M985
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-216241-1168078948 -o ROOT/results/node4/solver-216241-1168078948 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216241-1168078948/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.92 1.99 1.97 3/93 12847
/proc/meminfo: memFree=1095480/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=9748 CPUtime=0
/proc/12846/stat : 12846 (java) D 12844 12846 12463 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 156290374 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588964 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/12846/statm: 2437 412 333 14 0 1140 0
[startup+0.104558 s]
/proc/loadavg: 1.92 1.99 1.97 3/93 12847
/proc/meminfo: memFree=1095480/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=914988 CPUtime=0.08
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 156290374 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10552453 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12846/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512597 s]
/proc/loadavg: 1.92 1.99 1.97 3/93 12847
/proc/meminfo: memFree=1095480/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915328 CPUtime=0.49
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 6576 0 1 0 45 4 0 0 18 0 8 0 156290374 937295872 6315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12846/statm: 228832 6315 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33368 s]
/proc/loadavg: 1.92 1.99 1.97 4/100 12854
/proc/meminfo: memFree=1032128/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915640 CPUtime=1.3
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 18512 0 1 0 120 10 0 0 24 0 8 0 156290374 937615360 18249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073715504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12846/statm: 228910 18249 2157 14 0 215380 0
[pid=12846/tid=12848] ppid=12844 vsize=915640 CPUtime=0.06
/proc/12846/task/12848/stat : 12848 (java) S 12844 12846 12463 0 -1 64 1979 0 0 0 6 0 0 0 16 0 8 0 156290378 937615360 18249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12849] ppid=12844 vsize=915640 CPUtime=0
/proc/12846/task/12849/stat : 12849 (java) S 12844 12846 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156290378 937615360 18249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12850] ppid=12844 vsize=915640 CPUtime=0
/proc/12846/task/12850/stat : 12850 (java) S 12844 12846 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156290378 937615360 18249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12851] ppid=12844 vsize=915640 CPUtime=0
/proc/12846/task/12851/stat : 12851 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156290382 937615360 18249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12852] ppid=12844 vsize=915640 CPUtime=0.16
/proc/12846/task/12852/stat : 12852 (java) S 12844 12846 12463 0 -1 64 404 0 0 0 16 0 0 0 16 0 8 0 156290382 937615360 18249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12853] ppid=12844 vsize=915640 CPUtime=0
/proc/12846/task/12853/stat : 12853 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156290382 937615360 18249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12854] ppid=12844 vsize=915640 CPUtime=0
/proc/12846/task/12854/stat : 12854 (java) S 12844 12846 12463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156290382 937615360 18249 18446744073709551615 134512640 134570532 4294956464 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) 915640
[startup+2.97083 s]
/proc/loadavg: 1.92 1.99 1.97 3/100 12854
/proc/meminfo: memFree=1019776/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915644 CPUtime=2.94
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 21275 0 1 0 241 53 0 0 25 0 8 0 156290374 937619456 21009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12846/statm: 228911 21009 2177 14 0 215381 0
[pid=12846/tid=12848] ppid=12844 vsize=915644 CPUtime=0.22
/proc/12846/task/12848/stat : 12848 (java) S 12844 12846 12463 0 -1 64 4653 0 0 0 20 2 0 0 16 0 8 0 156290378 937619456 21009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12849] ppid=12844 vsize=915644 CPUtime=0
/proc/12846/task/12849/stat : 12849 (java) S 12844 12846 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156290378 937619456 21009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12850] ppid=12844 vsize=915644 CPUtime=0
/proc/12846/task/12850/stat : 12850 (java) S 12844 12846 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156290378 937619456 21009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12851] ppid=12844 vsize=915644 CPUtime=0
/proc/12846/task/12851/stat : 12851 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156290382 937619456 21009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12852] ppid=12844 vsize=915644 CPUtime=0.2
/proc/12846/task/12852/stat : 12852 (java) S 12844 12846 12463 0 -1 64 430 0 0 0 20 0 0 0 16 0 8 0 156290382 937619456 21009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12853] ppid=12844 vsize=915644 CPUtime=0
/proc/12846/task/12853/stat : 12853 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156290382 937619456 21009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12854] ppid=12844 vsize=915644 CPUtime=0
/proc/12846/task/12854/stat : 12854 (java) S 12844 12846 12463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156290382 937619456 21009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915644
[startup+6.26615 s]
/proc/loadavg: 1.93 1.99 1.97 4/100 12854
/proc/meminfo: memFree=970880/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915872 CPUtime=6.22
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 35641 0 1 0 476 146 0 0 25 0 8 0 156290374 937852928 35291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12846/statm: 228968 35291 2533 14 0 215438 0
[pid=12846/tid=12848] ppid=12844 vsize=915872 CPUtime=0.86
/proc/12846/task/12848/stat : 12848 (java) S 12844 12846 12463 0 -1 64 18470 0 0 0 80 6 0 0 16 0 8 0 156290378 937852928 35291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12849] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12849/stat : 12849 (java) S 12844 12846 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156290378 937852928 35291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12850] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12850/stat : 12850 (java) S 12844 12846 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156290378 937852928 35291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12851] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12851/stat : 12851 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156290382 937852928 35291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12852] ppid=12844 vsize=915872 CPUtime=0.35
/proc/12846/task/12852/stat : 12852 (java) R 12844 12846 12463 0 -1 64 524 0 0 0 34 1 0 0 16 0 8 0 156290382 937852928 35291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152945977 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12853] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12853/stat : 12853 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156290382 937852928 35291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12854] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12854/stat : 12854 (java) S 12844 12846 12463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156290382 937852928 35291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915872
[startup+12.7576 s]
/proc/loadavg: 1.93 1.99 1.97 3/100 12854
/proc/meminfo: memFree=963904/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915872 CPUtime=12.71
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 35674 0 1 0 1124 147 0 0 25 0 8 0 156290374 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849663 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12846/statm: 228968 35320 2537 14 0 215438 0
[pid=12846/tid=12848] ppid=12844 vsize=915872 CPUtime=0.86
/proc/12846/task/12848/stat : 12848 (java) S 12844 12846 12463 0 -1 64 18471 0 0 0 80 6 0 0 16 0 8 0 156290378 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12849] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12849/stat : 12849 (java) S 12844 12846 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156290378 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12850] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12850/stat : 12850 (java) S 12844 12846 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156290378 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12851] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12851/stat : 12851 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156290382 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12852] ppid=12844 vsize=915872 CPUtime=0.39
/proc/12846/task/12852/stat : 12852 (java) S 12844 12846 12463 0 -1 64 546 0 0 0 38 1 0 0 15 0 8 0 156290382 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12853] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12853/stat : 12853 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156290382 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12854] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12854/stat : 12854 (java) S 12844 12846 12463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156290382 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915872
[startup+25.6198 s]
/proc/loadavg: 1.95 1.99 1.97 3/100 12854
/proc/meminfo: memFree=964096/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915872 CPUtime=25.56
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 35674 0 1 0 2409 147 0 0 25 0 8 0 156290374 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12846/statm: 228968 35320 2537 14 0 215438 0
[pid=12846/tid=12848] ppid=12844 vsize=915872 CPUtime=0.86
/proc/12846/task/12848/stat : 12848 (java) S 12844 12846 12463 0 -1 64 18471 0 0 0 80 6 0 0 16 0 8 0 156290378 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12849] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12849/stat : 12849 (java) S 12844 12846 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156290378 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12850] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12850/stat : 12850 (java) S 12844 12846 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156290378 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12851] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12851/stat : 12851 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156290382 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12852] ppid=12844 vsize=915872 CPUtime=0.39
/proc/12846/task/12852/stat : 12852 (java) S 12844 12846 12463 0 -1 64 546 0 0 0 38 1 0 0 16 0 8 0 156290382 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12853] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12853/stat : 12853 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156290382 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12854] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12854/stat : 12854 (java) S 12844 12846 12463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156290382 937852928 35320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915872
[startup+51.2433 s]
/proc/loadavg: 1.96 1.99 1.97 3/100 12854
/proc/meminfo: memFree=964160/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915872 CPUtime=51.18
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 35682 0 1 0 4971 147 0 0 25 0 8 0 156290374 937852928 35325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074176402 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12846/statm: 228968 35325 2537 14 0 215438 0
[pid=12846/tid=12848] ppid=12844 vsize=915872 CPUtime=0.86
/proc/12846/task/12848/stat : 12848 (java) S 12844 12846 12463 0 -1 64 18471 0 0 0 80 6 0 0 16 0 8 0 156290378 937852928 35325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12849] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12849/stat : 12849 (java) S 12844 12846 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156290378 937852928 35325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12850] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12850/stat : 12850 (java) S 12844 12846 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156290378 937852928 35325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12851] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12851/stat : 12851 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156290382 937852928 35325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12852] ppid=12844 vsize=915872 CPUtime=0.4
/proc/12846/task/12852/stat : 12852 (java) S 12844 12846 12463 0 -1 64 551 0 0 0 39 1 0 0 16 0 8 0 156290382 937852928 35325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12853] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12853/stat : 12853 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156290382 937852928 35325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12854] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12854/stat : 12854 (java) S 12844 12846 12463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156290382 937852928 35325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915872
[startup+102.451 s]
/proc/loadavg: 1.96 1.98 1.97 3/100 12912
/proc/meminfo: memFree=984768/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915872 CPUtime=102.26
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 35685 0 1 0 10078 148 0 0 25 0 8 0 156290374 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847671 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12846/statm: 228968 35326 2537 14 0 215438 0
[pid=12846/tid=12848] ppid=12844 vsize=915872 CPUtime=0.86
/proc/12846/task/12848/stat : 12848 (java) S 12844 12846 12463 0 -1 64 18471 0 0 0 80 6 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12849] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12849/stat : 12849 (java) S 12844 12846 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12850] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12850/stat : 12850 (java) S 12844 12846 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12851] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12851/stat : 12851 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12852] ppid=12844 vsize=915872 CPUtime=0.4
/proc/12846/task/12852/stat : 12852 (java) S 12844 12846 12463 0 -1 64 553 0 0 0 39 1 0 0 16 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12853] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12853/stat : 12853 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12854] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12854/stat : 12854 (java) S 12844 12846 12463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 915872
[startup+162.477 s]
/proc/loadavg: 2.06 2.00 1.98 3/100 12912
/proc/meminfo: memFree=983936/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915872 CPUtime=161.97
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 35685 0 1 0 16049 148 0 0 25 0 8 0 156290374 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847712 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.4
Current children cumulated vsize (KiB) 915872
[startup+1483.01 s]
/proc/loadavg: 2.00 2.01 2.00 4/100 12912
/proc/meminfo: memFree=976704/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915872 CPUtime=1476.14
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 35685 0 1 0 147463 151 0 0 25 0 8 0 156290374 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12846/statm: 228968 35326 2537 14 0 215438 0
[pid=12846/tid=12848] ppid=12844 vsize=915872 CPUtime=0.86
/proc/12846/task/12848/stat : 12848 (java) S 12844 12846 12463 0 -1 64 18471 0 0 0 80 6 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12849] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12849/stat : 12849 (java) S 12844 12846 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12850] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12850/stat : 12850 (java) S 12844 12846 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12851] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12851/stat : 12851 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12852] ppid=12844 vsize=915872 CPUtime=0.4
/proc/12846/task/12852/stat : 12852 (java) S 12844 12846 12463 0 -1 64 553 0 0 0 39 1 0 0 17 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12846/tid=12853] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12853/stat : 12853 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12854] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12854/stat : 12854 (java) S 12844 12846 12463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.14
Current children cumulated vsize (KiB) 915872
[startup+1543.04 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 12912
/proc/meminfo: memFree=976704/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915872 CPUtime=1535.87
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 35685 0 1 0 153436 151 0 0 25 0 8 0 156290374 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849626 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12846/statm: 228968 35326 2537 14 0 215438 0
[pid=12846/tid=12848] ppid=12844 vsize=915872 CPUtime=0.86
/proc/12846/task/12848/stat : 12848 (java) S 12844 12846 12463 0 -1 64 18471 0 0 0 80 6 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12849] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12849/stat : 12849 (java) S 12844 12846 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12850] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12850/stat : 12850 (java) S 12844 12846 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12851] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12851/stat : 12851 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12852] ppid=12844 vsize=915872 CPUtime=0.4
/proc/12846/task/12852/stat : 12852 (java) S 12844 12846 12463 0 -1 64 553 0 0 0 39 1 0 0 17 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12846/tid=12853] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12853/stat : 12853 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12854] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12854/stat : 12854 (java) S 12844 12846 12463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.87
Current children cumulated vsize (KiB) 915872
[startup+1603.06 s]
/proc/loadavg: 2.06 2.02 2.00 3/100 12912
/proc/meminfo: memFree=976704/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915872 CPUtime=1595.59
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 35685 0 1 0 159408 151 0 0 25 0 8 0 156290374 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849660 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12846/statm: 228968 35326 2537 14 0 215438 0
[pid=12846/tid=12848] ppid=12844 vsize=915872 CPUtime=0.86
/proc/12846/task/12848/stat : 12848 (java) S 12844 12846 12463 0 -1 64 18471 0 0 0 80 6 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12849] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12849/stat : 12849 (java) S 12844 12846 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12850] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12850/stat : 12850 (java) S 12844 12846 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12851] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12851/stat : 12851 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12852] ppid=12844 vsize=915872 CPUtime=0.4
/proc/12846/task/12852/stat : 12852 (java) S 12844 12846 12463 0 -1 64 553 0 0 0 39 1 0 0 17 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12846/tid=12853] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12853/stat : 12853 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12854] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12854/stat : 12854 (java) S 12844 12846 12463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.59
Current children cumulated vsize (KiB) 915872
[startup+1663.08 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 12912
/proc/meminfo: memFree=976704/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915872 CPUtime=1655.24
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 35685 0 1 0 165372 152 0 0 25 0 8 0 156290374 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851776 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12846/statm: 228968 35326 2537 14 0 215438 0
[pid=12846/tid=12848] ppid=12844 vsize=915872 CPUtime=0.86
/proc/12846/task/12848/stat : 12848 (java) S 12844 12846 12463 0 -1 64 18471 0 0 0 80 6 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12849] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12849/stat : 12849 (java) S 12844 12846 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12850] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12850/stat : 12850 (java) S 12844 12846 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12851] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12851/stat : 12851 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12852] ppid=12844 vsize=915872 CPUtime=0.4
/proc/12846/task/12852/stat : 12852 (java) S 12844 12846 12463 0 -1 64 553 0 0 0 39 1 0 0 17 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12846/tid=12853] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12853/stat : 12853 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12854] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12854/stat : 12854 (java) S 12844 12846 12463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.24
Current children cumulated vsize (KiB) 915872
[startup+1723.11 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 12912
/proc/meminfo: memFree=976704/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915872 CPUtime=1714.98
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 35685 0 1 0 171346 152 0 0 25 0 8 0 156290374 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12846/statm: 228968 35326 2537 14 0 215438 0
[pid=12846/tid=12848] ppid=12844 vsize=915872 CPUtime=0.86
/proc/12846/task/12848/stat : 12848 (java) S 12844 12846 12463 0 -1 64 18471 0 0 0 80 6 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12849] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12849/stat : 12849 (java) S 12844 12846 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12850] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12850/stat : 12850 (java) S 12844 12846 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12851] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12851/stat : 12851 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12852] ppid=12844 vsize=915872 CPUtime=0.4
/proc/12846/task/12852/stat : 12852 (java) S 12844 12846 12463 0 -1 64 553 0 0 0 39 1 0 0 17 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12846/tid=12853] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12853/stat : 12853 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12854] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12854/stat : 12854 (java) S 12844 12846 12463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.98
Current children cumulated vsize (KiB) 915872
[startup+1783.14 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12912
/proc/meminfo: memFree=976704/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915872 CPUtime=1774.69
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 35685 0 1 0 177317 152 0 0 25 0 8 0 156290374 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12846/statm: 228968 35326 2537 14 0 215438 0
[pid=12846/tid=12848] ppid=12844 vsize=915872 CPUtime=0.86
/proc/12846/task/12848/stat : 12848 (java) S 12844 12846 12463 0 -1 64 18471 0 0 0 80 6 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12849] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12849/stat : 12849 (java) S 12844 12846 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12850] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12850/stat : 12850 (java) S 12844 12846 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12851] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12851/stat : 12851 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12852] ppid=12844 vsize=915872 CPUtime=0.4
/proc/12846/task/12852/stat : 12852 (java) S 12844 12846 12463 0 -1 64 553 0 0 0 39 1 0 0 17 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12846/tid=12853] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12853/stat : 12853 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12854] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12854/stat : 12854 (java) S 12844 12846 12463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.69
Current children cumulated vsize (KiB) 915872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.63 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12912
/proc/meminfo: memFree=976704/2055920 swapFree=4191880/4192956
[pid=12846] ppid=12844 vsize=915872 CPUtime=1800.08
/proc/12846/stat : 12846 (java) R 12844 12846 12463 0 -1 0 35685 0 1 0 179856 152 0 0 25 0 8 0 156290374 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12846/statm: 228968 35326 2537 14 0 215438 0
[pid=12846/tid=12848] ppid=12844 vsize=915872 CPUtime=0.86
/proc/12846/task/12848/stat : 12848 (java) S 12844 12846 12463 0 -1 64 18471 0 0 0 80 6 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12849] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12849/stat : 12849 (java) S 12844 12846 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12850] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12850/stat : 12850 (java) S 12844 12846 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156290378 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12851] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12851/stat : 12851 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12852] ppid=12844 vsize=915872 CPUtime=0.4
/proc/12846/task/12852/stat : 12852 (java) S 12844 12846 12463 0 -1 64 553 0 0 0 39 1 0 0 17 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12846/tid=12853] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12853/stat : 12853 (java) S 12844 12846 12463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12846/tid=12854] ppid=12844 vsize=915872 CPUtime=0
/proc/12846/task/12854/stat : 12854 (java) S 12844 12846 12463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156290382 937852928 35326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.71
CPU time (s): 1800.16
CPU user time (s): 1798.61
CPU system time (s): 1.54676
CPU usage (%): 99.5273
Max. virtual memory (cumulated for all children) (KiB): 915984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.61
system time used= 1.54676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35701
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= 38348
involuntary context switches= 64427
runsolver used 2.05069 s user time and 4.94525 s system time
The end
Begin job on node4 on Sat Jan 6 10:22:28 UTC 2007
IDJOB= 216241
IDBENCH= 5063
FILE ID= node4/216241-1168078948
PBS_JOBID= 3475809
Free space on /tmp= 66302 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ppp/ppp-3-13-25-26.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216241-1168078948/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-216241-1168078948 -o ROOT/results/node4/solver-216241-1168078948 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216241-1168078948/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 90e2bf89401f7bc43c4e980158dac80d
RANDOM SEED= 692369849
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.223
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.223
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: 1095960 kB
Buffers: 73936 kB
Cached: 686648 kB
SwapCached: 268 kB
Active: 487732 kB
Inactive: 375816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1095960 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 6460 kB
Writeback: 0 kB
Mapped: 131208 kB
Slab: 80868 kB
Committed_AS: 4560596 kB
PageTables: 2560 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= 66302 MiB
End job on node4 on Sat Jan 6 10:52:38 UTC 2007