0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/277220-1169260775/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.41 => wckTime=0.1 cpuTime=0.09 mem=6M910
0.41
0.41 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=914 maxDegree=24
0.64 maxArity=2
0.64 => wckTime=0.33 cpuTime=0.25 mem=14M711
0.69
0.69 solver LocalSearchSolver being built...
0.73 => wckTime=0.418 cpuTime=0.29 mem=6M199
0.74
0.74 s SATISFIABLE
0.74 o 233
0.74 c 67
0.74 o 239
0.74 c 61
0.74 o 245
0.74 c 55
0.74 o 251
0.74 c 49
0.74 o 256
0.74 c 44
0.74 o 259
0.74 c 41
0.74 o 263
0.74 c 37
0.75 o 267
0.75 c 33
0.75 o 268
0.75 c 32
0.75 o 270
0.75 c 30
0.75 o 273
0.75 c 27
0.75 o 275
0.75 c 25
0.75 o 276
0.75 c 24
0.75 o 278
0.75 c 22
0.75 o 280
0.75 c 20
0.75 o 283
0.75 c 17
0.76 o 284
0.76 c 16
0.77 o 285
0.77 c 15
0.77 o 286
0.77 c 14
0.77 o 289
0.77 c 11
0.77 o 290
0.77 c 10
0.77 o 291
0.77 c 9
0.77 o 292
0.77 c 8
0.78 o 293
0.78 c 7
0.78 o 295
0.78 c 5
0.78 o 296
0.78 c 4
1.04 o 297
1.04 c 3
1.99 o 298
1.99 c 2
1.99 o 299
1.99 c 1
1.99
1.99 search
1.99 run=0 nbConstraintChecks=8900234 nbAssignments=3490
1.99 => wckTime=1.262 cpuTime=1.23 mem=6M199
1.99
1.99 global
1.99 nbConstraintChecks=8900234 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.99 solvingWckTime=1.26 solvingCpuTime=1.23 expiredTime=no totalExploration=no nbFoundSolutions=0
1.99 globalCpuTime=1.56
1.99 => wckTime=1.681 cpuTime=1.52 mem=6M199
1.99
1.99 solver IterativeSystematicSolver being built...
2.12 => wckTime=1.806 cpuTime=1.63 mem=17M107
2.13
2.13 preprocessing
2.13 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.13 detectedInconsistency=no
2.13 => wckTime=0.0070 cpuTime=0.0 mem=17M107
2.22
2.22 search
2.22 run=0 nbConstraintChecks=197999 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53
2.22 nbFailedAssignments=37 nbBacktracks=10 nbVisitedNodes=101 nbRestartNogoods=0
2.22 => wckTime=0.099 cpuTime=0.07 mem=17M107
2.32
2.32 search
2.32 run=1 nbConstraintChecks=514210 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=136
2.32 nbFailedAssignments=100 nbBacktracks=25 nbVisitedNodes=262 nbRestartNogoods=19
2.32 => wckTime=0.198 cpuTime=0.15 mem=17M107
2.41
2.41 search
2.41 run=2 nbConstraintChecks=949065 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=240
2.41 nbFailedAssignments=177 nbBacktracks=47 nbVisitedNodes=465 nbRestartNogoods=37
2.41 => wckTime=0.292 cpuTime=0.24 mem=17M107
2.51
2.51 search
2.51 run=3 nbConstraintChecks=1404605 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=351
2.51 nbFailedAssignments=250 nbBacktracks=80 nbVisitedNodes=682 nbRestartNogoods=41
2.51 => wckTime=0.388 cpuTime=0.33 mem=17M107
2.68
2.68 search
2.68 run=4 nbConstraintChecks=2217373 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=543
2.68 nbFailedAssignments=387 nbBacktracks=130 nbVisitedNodes=1061 nbRestartNogoods=71
2.68 => wckTime=0.556 cpuTime=0.5 mem=17M107
2.98
2.98 search
2.98 run=5 nbConstraintChecks=3624010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=902
2.98 nbFailedAssignments=665 nbBacktracks=205 nbVisitedNodes=1773 nbRestartNogoods=90
2.98 => wckTime=0.86 cpuTime=0.8 mem=17M107
3.41
3.42 search
3.42 run=6 nbConstraintChecks=5719033 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1421
3.42 nbFailedAssignments=1066 nbBacktracks=318 nbVisitedNodes=2806 nbRestartNogoods=107
3.42 => wckTime=1.295 cpuTime=1.23 mem=17M107
4.00
4.00 search
4.00 run=7 nbConstraintChecks=8649183 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2124
4.00 nbFailedAssignments=1594 nbBacktracks=488 nbVisitedNodes=4207 nbRestartNogoods=130
4.00 => wckTime=1.881 cpuTime=1.8 mem=17M107
4.98
4.98 search
4.98 run=8 nbConstraintChecks=13440370 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3327
4.98 nbFailedAssignments=2535 nbBacktracks=744 nbVisitedNodes=6607 nbRestartNogoods=143
4.98 => wckTime=2.856 cpuTime=2.77 mem=17M107
6.08
6.08 search
6.08 run=9 nbConstraintChecks=19022789 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4655
6.08 nbFailedAssignments=3473 nbBacktracks=1128 nbVisitedNodes=9256 nbRestartNogoods=170
6.08 => wckTime=3.962 cpuTime=3.87 mem=17M107
7.78
7.78 search
7.78 run=10 nbConstraintChecks=27514029 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6758
7.78 nbFailedAssignments=4996 nbBacktracks=1704 nbVisitedNodes=13452 nbRestartNogoods=186
7.78 => wckTime=5.661 cpuTime=5.56 mem=17M107
9.97
9.97 search
9.97 run=11 nbConstraintChecks=38535895 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9232
9.97 nbFailedAssignments=6601 nbBacktracks=2568 nbVisitedNodes=18253 nbRestartNogoods=196
9.97 => wckTime=7.851 cpuTime=7.74 mem=17M107
12.69
12.69 search
12.69 run=12 nbConstraintChecks=52271058 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12294
12.69 nbFailedAssignments=8361 nbBacktracks=3865 nbVisitedNodes=23880 nbRestartNogoods=204
12.69 => wckTime=10.568 cpuTime=10.44 mem=17M107
16.44
16.44 search
16.44 run=13 nbConstraintChecks=71218584 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16556
16.44 nbFailedAssignments=10672 nbBacktracks=5811 nbVisitedNodes=31480 nbRestartNogoods=215
16.44 => wckTime=14.322 cpuTime=14.17 mem=17M107
21.85
21.85 search
21.85 run=14 nbConstraintChecks=99002534 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22573
21.85 nbFailedAssignments=13765 nbBacktracks=8731 nbVisitedNodes=41899 nbRestartNogoods=226
21.85 => wckTime=19.73 cpuTime=19.56 mem=17M107
29.76
29.76 search
29.76 run=15 nbConstraintChecks=139330937 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31601
29.76 nbFailedAssignments=18409 nbBacktracks=13109 nbVisitedNodes=57420 nbRestartNogoods=232
29.76 => wckTime=27.637 cpuTime=27.42 mem=17M107
40.92
40.92 search
40.92 run=16 nbConstraintChecks=196247313 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44421
40.92 nbFailedAssignments=24656 nbBacktracks=19677 nbVisitedNodes=79065 nbRestartNogoods=250
40.92 => wckTime=38.801 cpuTime=38.53 mem=17M107
57.63
57.63 search
57.63 run=17 nbConstraintChecks=281763704 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=63657
57.63 nbFailedAssignments=34033 nbBacktracks=29531 nbVisitedNodes=111568 nbRestartNogoods=267
57.63 => wckTime=55.506 cpuTime=55.17 mem=17M107
82.30
82.30 search
82.30 run=18 nbConstraintChecks=407688266 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=92348
82.30 nbFailedAssignments=47941 nbBacktracks=44309 nbVisitedNodes=159994 nbRestartNogoods=274
82.30 => wckTime=80.18 cpuTime=79.73 mem=17M107
119.16
119.16 search
119.16 run=19 nbConstraintChecks=595657289 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=134944
119.16 nbFailedAssignments=68361 nbBacktracks=66479 nbVisitedNodes=231511 nbRestartNogoods=291
119.16 => wckTime=117.043 cpuTime=116.44 mem=17M107
173.59
173.59 search
173.59 run=20 nbConstraintChecks=875032956 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=198218
173.59 nbFailedAssignments=98378 nbBacktracks=99731 nbVisitedNodes=337269 nbRestartNogoods=313
173.59 => wckTime=171.468 cpuTime=170.62 mem=17M107
254.29
254.29 search
254.29 run=21 nbConstraintChecks=1286312879 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=292914
254.29 nbFailedAssignments=143190 nbBacktracks=149609 nbVisitedNodes=495906 nbRestartNogoods=339
254.29 => wckTime=252.172 cpuTime=250.97 mem=17M107
374.97
374.97 search
374.97 run=22 nbConstraintChecks=1902973360 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=433871
374.97 nbFailedAssignments=209323 nbBacktracks=224427 nbVisitedNodes=730800 nbRestartNogoods=360
374.97 => wckTime=372.847 cpuTime=371.12 mem=17M107
558.65
558.65 search
558.65 run=23 nbConstraintChecks=2844623464 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=646565
558.65 nbFailedAssignments=309784 nbBacktracks=336655 nbVisitedNodes=1086558 nbRestartNogoods=378
558.65 => wckTime=556.529 cpuTime=553.99 mem=17M107
835.59
835.59 search
835.59 run=24 nbConstraintChecks=4262534016 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=965354
835.59 nbFailedAssignments=460225 nbBacktracks=505001 nbVisitedNodes=1619955 nbRestartNogoods=401
835.59 => wckTime=833.467 cpuTime=829.71 mem=17M107
1245.06
1245.06 search
1245.06 run=25 nbConstraintChecks=6353776593 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1440894
1245.06 nbFailedAssignments=683249 nbBacktracks=757512 nbVisitedNodes=2413254 nbRestartNogoods=416
1245.06 => wckTime=1242.938 cpuTime=1237.39 mem=17M107
1875.53
1875.53 search
1875.53 run=26 nbConstraintChecks=9556312814 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2159166
1875.53 nbFailedAssignments=1022750 nbBacktracks=1136279 nbVisitedNodes=3615632 nbRestartNogoods=430
1875.53 => wckTime=1873.41 cpuTime=1862.07 mem=17M107
2413.80 v 0 3 0 3 6 18 7 22 23 17 23 4 12 15 12 13 2 19 2 19 11 4 20 24 15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-277220-1169260775 -o ROOT/results/node16/solver-277220-1169260775 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277220-1169260775/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.01 1.94 4/87 21792
/proc/meminfo: memFree=1320792/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=18540 CPUtime=0
/proc/21791/stat : 21791 (runsolver) R 21789 21791 21089 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 274472350 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21791/statm: 4635 279 244 17 0 2626 0
[startup+0.102944 s]
/proc/loadavg: 2.00 2.01 1.94 4/87 21792
/proc/meminfo: memFree=1320792/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=914988 CPUtime=0.07
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 2961 0 1 0 6 1 0 0 19 0 8 0 274472350 936947712 2707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155518845 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21791/statm: 228747 2707 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.510868 s]
/proc/loadavg: 2.00 2.01 1.94 4/87 21792
/proc/meminfo: memFree=1320792/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915332 CPUtime=0.49
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 6930 0 1 0 45 4 0 0 18 0 8 0 274472350 937299968 6669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21791/statm: 228833 6669 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33171 s]
/proc/loadavg: 2.00 2.01 1.94 3/94 21799
/proc/meminfo: memFree=1296864/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=1.3
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 8642 0 1 0 118 12 0 0 25 0 8 0 274472350 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735639 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21791/statm: 228866 8380 2476 14 0 215336 0
[pid=21791/tid=21793] ppid=21789 vsize=915464 CPUtime=0.03
/proc/21791/task/21793/stat : 21793 (java) S 21789 21791 21089 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 274472354 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21794] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21794/stat : 21794 (java) S 21789 21791 21089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274472354 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21795] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21795/stat : 21795 (java) S 21789 21791 21089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274472354 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21796] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21796/stat : 21796 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274472358 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21797] ppid=21789 vsize=915464 CPUtime=0.15
/proc/21791/task/21797/stat : 21797 (java) S 21789 21791 21089 0 -1 64 348 0 0 0 14 1 0 0 16 0 8 0 274472358 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21798] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21798/stat : 21798 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274472358 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21799] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21799/stat : 21799 (java) S 21789 21791 21089 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274472358 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97441 s]
/proc/loadavg: 2.00 2.01 1.94 3/94 21799
/proc/meminfo: memFree=1294880/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=2.93
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 9178 0 1 0 272 21 0 0 25 0 8 0 274472350 937435136 8914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073885801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21791/statm: 228866 8914 2527 14 0 215336 0
[pid=21791/tid=21793] ppid=21789 vsize=915464 CPUtime=0.03
/proc/21791/task/21793/stat : 21793 (java) S 21789 21791 21089 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274472354 937435136 8914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21794] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21794/stat : 21794 (java) S 21789 21791 21089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274472354 937435136 8914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21795] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21795/stat : 21795 (java) S 21789 21791 21089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274472354 937435136 8914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21796] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21796/stat : 21796 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274472358 937435136 8914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21797] ppid=21789 vsize=915464 CPUtime=0.22
/proc/21791/task/21797/stat : 21797 (java) S 21789 21791 21089 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 274472358 937435136 8914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21798] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21798/stat : 21798 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274472358 937435136 8914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21799] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21799/stat : 21799 (java) S 21789 21791 21089 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274472358 937435136 8914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.1818 s]
/proc/loadavg: 2.00 2.01 1.94 3/94 21799
/proc/meminfo: memFree=1294688/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=6.13
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 9205 0 1 0 591 22 0 0 25 0 8 0 274472350 937435136 8938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073885747 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21791/statm: 228866 8938 2527 14 0 215336 0
[pid=21791/tid=21793] ppid=21789 vsize=915464 CPUtime=0.03
/proc/21791/task/21793/stat : 21793 (java) S 21789 21791 21089 0 -1 64 328 0 0 0 3 0 0 0 17 0 8 0 274472354 937435136 8938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21794] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21794/stat : 21794 (java) S 21789 21791 21089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274472354 937435136 8938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21795] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21795/stat : 21795 (java) S 21789 21791 21089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274472354 937435136 8938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21796] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21796/stat : 21796 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274472358 937435136 8938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21797] ppid=21789 vsize=915464 CPUtime=0.24
/proc/21791/task/21797/stat : 21797 (java) S 21789 21791 21089 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 274472358 937435136 8938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21798] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21798/stat : 21798 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274472358 937435136 8938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21799] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21799/stat : 21799 (java) S 21789 21791 21089 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274472358 937435136 8938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915464
[startup+12.6486 s]
/proc/loadavg: 2.00 2.01 1.94 3/94 21799
/proc/meminfo: memFree=1294688/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=12.56
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 9212 0 1 0 1234 22 0 0 25 0 8 0 274472350 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21791/statm: 228866 8944 2527 14 0 215336 0
[pid=21791/tid=21793] ppid=21789 vsize=915464 CPUtime=0.03
/proc/21791/task/21793/stat : 21793 (java) S 21789 21791 21089 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274472354 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21794] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21794/stat : 21794 (java) S 21789 21791 21089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274472354 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21795] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21795/stat : 21795 (java) S 21789 21791 21089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274472354 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21796] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21796/stat : 21796 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274472358 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21797] ppid=21789 vsize=915464 CPUtime=0.25
/proc/21791/task/21797/stat : 21797 (java) S 21789 21791 21089 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 274472358 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21798] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21798/stat : 21798 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274472358 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21799] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21799/stat : 21799 (java) S 21789 21791 21089 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274472358 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915464
[startup+25.5072 s]
/proc/loadavg: 2.00 2.01 1.94 3/94 21799
/proc/meminfo: memFree=1294688/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=25.36
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 9219 0 1 0 2514 22 0 0 25 0 8 0 274472350 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21791/statm: 228866 8951 2527 14 0 215336 0
[pid=21791/tid=21793] ppid=21789 vsize=915464 CPUtime=0.03
/proc/21791/task/21793/stat : 21793 (java) S 21789 21791 21089 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274472354 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21794] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21794/stat : 21794 (java) S 21789 21791 21089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274472354 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21795] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21795/stat : 21795 (java) S 21789 21791 21089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274472354 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21796] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21796/stat : 21796 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274472358 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21797] ppid=21789 vsize=915464 CPUtime=0.25
/proc/21791/task/21797/stat : 21797 (java) S 21789 21791 21089 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 274472358 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21798] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21798/stat : 21798 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274472358 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21799] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21799/stat : 21799 (java) S 21789 21791 21089 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274472358 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915464
[startup+51.1134 s]
/proc/loadavg: 2.07 2.02 1.94 3/94 21799
/proc/meminfo: memFree=1294752/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=50.85
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 9227 0 1 0 5063 22 0 0 25 0 8 0 274472350 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21791/statm: 228866 8958 2527 14 0 215336 0
[pid=21791/tid=21793] ppid=21789 vsize=915464 CPUtime=0.03
/proc/21791/task/21793/stat : 21793 (java) S 21789 21791 21089 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274472354 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21794] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21794/stat : 21794 (java) S 21789 21791 21089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274472354 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21795] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21795/stat : 21795 (java) S 21789 21791 21089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274472354 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21796] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21796/stat : 21796 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274472358 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21797] ppid=21789 vsize=915464 CPUtime=0.25
/proc/21791/task/21797/stat : 21797 (java) S 21789 21791 21089 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 274472358 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21798] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21798/stat : 21798 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274472358 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21799] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21799/stat : 21799 (java) S 21789 21791 21089 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274472358 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915464
[startup+102.321 s]
/proc/loadavg: 2.03 2.02 1.94 3/94 21799
/proc/meminfo: memFree=1294752/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=101.84
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 9232 0 1 0 10161 23 0 0 25 0 8 0 274472350 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21791/statm: 228866 8963 2527 14 0 215336 0
[pid=21791/tid=21793] ppid=21789 vsize=915464 CPUtime=0.03
/proc/21791/task/21793/stat : 21793 (java) S 21789 21791 21089 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274472354 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21794] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21794/stat : 21794 (java) S 21789 21791 21089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274472354 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21795] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21795/stat : 21795 (java) S 21789 21791 21089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274472354 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21796] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21796/stat : 21796 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274472358 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21797] ppid=21789 vsize=915464 CPUtime=0.25
/proc/21791/task/21797/stat : 21797 (java) S 21789 21791 21089 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 274472358 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21798] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21798/stat : 21798 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274472358 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21799] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21799/stat : 21799 (java) S 21789 21791 21089 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274472358 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 915464
[startup+162.367 s]
/proc/loadavg: 2.01 2.01 1.94 3/94 21799
/proc/meminfo: memFree=1294752/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=161.62
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 9234 0 1 0 16139 23 0 0 25 0 8 0 274472350 937435136 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2010.88
Current children cumulated vsize (KiB) 915464
[startup+2084.34 s]
/proc/loadavg: 2.12 2.57 2.41 3/100 24204
/proc/meminfo: memFree=1049600/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=2070.88
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 9252 0 1 0 207043 45 0 0 25 0 8 0 274472350 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073897619 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21791/statm: 228866 8982 2527 14 0 215336 0
[pid=21791/tid=21793] ppid=21789 vsize=915464 CPUtime=0.03
/proc/21791/task/21793/stat : 21793 (java) S 21789 21791 21089 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21794] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21794/stat : 21794 (java) S 21789 21791 21089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21795] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21795/stat : 21795 (java) S 21789 21791 21089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21796] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21796/stat : 21796 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21797] ppid=21789 vsize=915464 CPUtime=0.26
/proc/21791/task/21797/stat : 21797 (java) S 21789 21791 21089 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21798] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21798/stat : 21798 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21799] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21799/stat : 21799 (java) S 21789 21791 21089 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2070.88
Current children cumulated vsize (KiB) 915464
[startup+2144.39 s]
/proc/loadavg: 2.04 2.46 2.38 3/100 24206
/proc/meminfo: memFree=1011456/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=2130.89
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 9252 0 1 0 213044 45 0 0 25 0 8 0 274472350 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21791/statm: 228866 8982 2527 14 0 215336 0
[pid=21791/tid=21793] ppid=21789 vsize=915464 CPUtime=0.03
/proc/21791/task/21793/stat : 21793 (java) S 21789 21791 21089 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21794] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21794/stat : 21794 (java) S 21789 21791 21089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21795] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21795/stat : 21795 (java) S 21789 21791 21089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21796] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21796/stat : 21796 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21797] ppid=21789 vsize=915464 CPUtime=0.26
/proc/21791/task/21797/stat : 21797 (java) S 21789 21791 21089 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21798] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21798/stat : 21798 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21799] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21799/stat : 21799 (java) S 21789 21791 21089 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2130.89
Current children cumulated vsize (KiB) 915464
[startup+2204.4 s]
/proc/loadavg: 2.01 2.37 2.35 3/100 24206
/proc/meminfo: memFree=1011456/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=2190.84
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 9252 0 1 0 219038 46 0 0 25 0 8 0 274472350 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857257 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21791/statm: 228866 8982 2527 14 0 215336 0
[pid=21791/tid=21793] ppid=21789 vsize=915464 CPUtime=0.03
/proc/21791/task/21793/stat : 21793 (java) S 21789 21791 21089 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21794] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21794/stat : 21794 (java) S 21789 21791 21089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21795] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21795/stat : 21795 (java) S 21789 21791 21089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21796] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21796/stat : 21796 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21797] ppid=21789 vsize=915464 CPUtime=0.26
/proc/21791/task/21797/stat : 21797 (java) S 21789 21791 21089 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21798] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21798/stat : 21798 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21799] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21799/stat : 21799 (java) S 21789 21791 21089 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2190.84
Current children cumulated vsize (KiB) 915464
[startup+2264.43 s]
/proc/loadavg: 2.04 2.32 2.33 4/100 24206
/proc/meminfo: memFree=1011520/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=2250.84
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 9252 0 1 0 225038 46 0 0 25 0 8 0 274472350 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073883129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21791/statm: 228866 8982 2527 14 0 215336 0
[pid=21791/tid=21793] ppid=21789 vsize=915464 CPUtime=0.03
/proc/21791/task/21793/stat : 21793 (java) S 21789 21791 21089 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21794] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21794/stat : 21794 (java) S 21789 21791 21089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21795] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21795/stat : 21795 (java) S 21789 21791 21089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21796] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21796/stat : 21796 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21797] ppid=21789 vsize=915464 CPUtime=0.26
/proc/21791/task/21797/stat : 21797 (java) S 21789 21791 21089 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21798] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21798/stat : 21798 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21799] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21799/stat : 21799 (java) S 21789 21791 21089 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2250.84
Current children cumulated vsize (KiB) 915464
[startup+2324.45 s]
/proc/loadavg: 2.05 2.27 2.31 3/100 24206
/proc/meminfo: memFree=948480/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=2310.82
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 9252 0 1 0 231036 46 0 0 25 0 8 0 274472350 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21791/statm: 228866 8982 2527 14 0 215336 0
[pid=21791/tid=21793] ppid=21789 vsize=915464 CPUtime=0.03
/proc/21791/task/21793/stat : 21793 (java) S 21789 21791 21089 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21794] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21794/stat : 21794 (java) S 21789 21791 21089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21795] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21795/stat : 21795 (java) S 21789 21791 21089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21796] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21796/stat : 21796 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21797] ppid=21789 vsize=915464 CPUtime=0.26
/proc/21791/task/21797/stat : 21797 (java) S 21789 21791 21089 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21798] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21798/stat : 21798 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21799] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21799/stat : 21799 (java) S 21789 21791 21089 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2310.82
Current children cumulated vsize (KiB) 915464
[startup+2384.46 s]
/proc/loadavg: 2.02 2.22 2.29 4/100 24206
/proc/meminfo: memFree=948544/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=2370.77
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 9252 0 1 0 237031 46 0 0 25 0 8 0 274472350 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073885111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21791/statm: 228866 8982 2527 14 0 215336 0
[pid=21791/tid=21793] ppid=21789 vsize=915464 CPUtime=0.03
/proc/21791/task/21793/stat : 21793 (java) S 21789 21791 21089 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21794] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21794/stat : 21794 (java) S 21789 21791 21089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21795] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21795/stat : 21795 (java) S 21789 21791 21089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21796] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21796/stat : 21796 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21797] ppid=21789 vsize=915464 CPUtime=0.26
/proc/21791/task/21797/stat : 21797 (java) S 21789 21791 21089 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21798] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21798/stat : 21798 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21799] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21799/stat : 21799 (java) S 21789 21791 21089 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2370.77
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2413.79 s]
/proc/loadavg: 2.07 2.21 2.28 3/100 24206
/proc/meminfo: memFree=948544/2055920 swapFree=4191880/4192956
[pid=21791] ppid=21789 vsize=915464 CPUtime=2400.1
/proc/21791/stat : 21791 (java) R 21789 21791 21089 0 -1 0 9252 0 1 0 239964 46 0 0 25 0 8 0 274472350 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073693113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21791/statm: 228866 8982 2527 14 0 215336 0
[pid=21791/tid=21793] ppid=21789 vsize=915464 CPUtime=0.03
/proc/21791/task/21793/stat : 21793 (java) S 21789 21791 21089 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21794] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21794/stat : 21794 (java) S 21789 21791 21089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21795] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21795/stat : 21795 (java) S 21789 21791 21089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274472354 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21796] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21796/stat : 21796 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21797] ppid=21789 vsize=915464 CPUtime=0.26
/proc/21791/task/21797/stat : 21797 (java) S 21789 21791 21089 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21798] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21798/stat : 21798 (java) S 21789 21791 21089 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21791/tid=21799] ppid=21789 vsize=915464 CPUtime=0
/proc/21791/task/21799/stat : 21799 (java) S 21789 21791 21089 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274472358 937435136 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2413.85
CPU time (s): 2400.15
CPU user time (s): 2399.68
CPU system time (s): 0.466929
CPU usage (%): 99.4327
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.68
system time used= 0.466929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9274
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= 50047
involuntary context switches= 99600
runsolver used 2.96655 s user time and 7.75982 s system time
The end
Begin job on node16 on Sat Jan 20 02:39:35 UTC 2007
IDJOB= 277220
IDBENCH= 6501
IDSOLVER= 69
FILE ID= node16/277220-1169260775
PBS_JOBID= 3607263
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-55021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277220-1169260775/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-277220-1169260775 -o ROOT/results/node16/solver-277220-1169260775 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277220-1169260775/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 11bcdee15d3ba2466b3fd421b99abebd
RANDOM SEED= 578337749
TIME LIMIT= 2400 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.220
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.220
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: 1321272 kB
Buffers: 45008 kB
Cached: 563800 kB
SwapCached: 268 kB
Active: 278292 kB
Inactive: 382676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1321272 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2036 kB
Writeback: 0 kB
Mapped: 72632 kB
Slab: 58444 kB
Committed_AS: 7586536 kB
PageTables: 2384 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= 66561 MiB
End job on node16 on Sat Jan 20 03:19:49 UTC 2007