0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/275112-1169216650/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=11 nbDomainTypes=1 minDomainSize=56 maxDomainSize=56
0.40 => wckTime=0.097 cpuTime=0.08 mem=6M910
0.40
0.40 predicates being loaded...
0.41
0.41 constraints being loaded...
0.78 nbConstraints=1375 nbConvertedConstraints=55 nbConvertConstraintsChecks=3136 nbExtensionStructures=1
0.78 nbSharedExtensionStructures=54 nbConflictsStructures=1 nbSharedConflictsStructures=54
0.78 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=1 nbEvaluationManagers=5
0.78 nbSharedEvaluationManagers=1315 maxDegree=460 maxArity=4
0.78 => wckTime=0.479 cpuTime=0.36 mem=14M711
0.83
0.83 solver LocalSearchSolver being built...
0.87 => wckTime=0.569 cpuTime=0.4 mem=6M230
0.89
0.89 s SATISFIABLE
0.89 o 1343
0.89 c 32
0.90 o 1348
0.90 c 27
0.91 o 1352
0.91 c 23
0.93 o 1357
0.93 c 18
0.94 o 1361
0.94 c 14
1.02 o 1363
1.02 c 12
1.43 o 1367
1.43 c 8
1.44 o 1368
1.44 c 7
1.55 o 1369
1.55 c 6
2.58 o 1370
2.58 c 5
7.38 o 1371
7.38 c 4
37.55
37.55 search
37.55 run=0 nbConstraintChecks=88962955 nbAssignments=2449
37.55 => wckTime=36.674 cpuTime=36.48 mem=6M230
37.55
37.55 global
37.55 nbConstraintChecks=88962955 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.55 solvingWckTime=36.672 solvingCpuTime=36.47 expiredTime=no totalExploration=no nbFoundSolutions=0
37.55 globalCpuTime=36.95
37.55 => wckTime=37.244 cpuTime=36.89 mem=6M230
37.55
37.55 solver IterativeSystematicSolver being built...
37.79 => wckTime=37.484 cpuTime=37.08 mem=34M917
38.05
38.05 preprocessing
38.05 nbConstraintChecks=301437 nbValidityChecks=125213 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.05 nbRemovedValues=10 detectedInconsistency=no
38.05 => wckTime=0.255 cpuTime=0.23 mem=34M917
47.47
47.47 search
47.47 run=0 nbConstraintChecks=9062650 nbValidityChecks=29910145 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.47 nbAssignments=84 nbFailedAssignments=71 nbBacktracks=10 nbVisitedNodes=166 nbRestartNogoods=0
47.47 => wckTime=9.682 cpuTime=9.59 mem=34M917
50.93
50.93 search
50.93 run=1 nbConstraintChecks=12297125 nbValidityChecks=40367869 nbPropagations=0 nbRevisions=0
50.93 nbUselessRevisions=0 nbAssignments=122 nbFailedAssignments=91 nbBacktracks=25 nbVisitedNodes=239
50.93 nbRestartNogoods=21
50.93 => wckTime=13.144 cpuTime=13.02 mem=34M917
56.61
56.61 search
56.61 run=2 nbConstraintChecks=17442452 nbValidityChecks=59406319 nbPropagations=0 nbRevisions=0
56.61 nbUselessRevisions=0 nbAssignments=171 nbFailedAssignments=116 nbBacktracks=47 nbVisitedNodes=335
56.61 nbRestartNogoods=38
56.61 => wckTime=18.819 cpuTime=18.66 mem=34M917
66.32
66.32 search
66.32 run=3 nbConstraintChecks=26203968 nbValidityChecks=91631260 nbPropagations=0 nbRevisions=0
66.32 nbUselessRevisions=0 nbAssignments=273 nbFailedAssignments=183 nbBacktracks=80 nbVisitedNodes=537
66.32 nbRestartNogoods=63
66.32 => wckTime=28.527 cpuTime=28.33 mem=34M917
80.53
80.53 search
80.53 run=4 nbConstraintChecks=38873030 nbValidityChecks=140430057 nbPropagations=0 nbRevisions=0
80.53 nbUselessRevisions=0 nbAssignments=401 nbFailedAssignments=259 nbBacktracks=130 nbVisitedNodes=790
80.53 nbRestartNogoods=99
80.53 => wckTime=42.735 cpuTime=42.47 mem=34M917
102.31
102.31 search
102.31 run=5 nbConstraintChecks=58062426 nbValidityChecks=212410716 nbPropagations=0 nbRevisions=0
102.31 nbUselessRevisions=0 nbAssignments=637 nbFailedAssignments=418 nbBacktracks=205 nbVisitedNodes=1260
102.31 nbRestartNogoods=126
102.31 => wckTime=64.516 cpuTime=64.15 mem=34M917
126.44
126.44 search
126.44 run=6 nbConstraintChecks=73920753 nbValidityChecks=281196326 nbPropagations=0 nbRevisions=0
126.44 nbUselessRevisions=0 nbAssignments=1807 nbFailedAssignments=1470 nbBacktracks=318 nbVisitedNodes=3594
126.44 nbRestartNogoods=137
126.44 => wckTime=88.648 cpuTime=88.14 mem=34M917
150.89
150.89 search
150.89 run=7 nbConstraintChecks=87411665 nbValidityChecks=341034813 nbPropagations=0 nbRevisions=0
150.89 nbUselessRevisions=0 nbAssignments=3593 nbFailedAssignments=3080 nbBacktracks=488 nbVisitedNodes=7159
150.89 nbRestartNogoods=184
150.89 => wckTime=113.101 cpuTime=112.47 mem=34M917
219.98
219.98 search
219.98 run=8 nbConstraintChecks=144333754 nbValidityChecks=541823846 nbPropagations=0 nbRevisions=0
219.98 nbUselessRevisions=0 nbAssignments=5557 nbFailedAssignments=4783 nbBacktracks=744 nbVisitedNodes=11059
219.98 nbRestartNogoods=256
219.98 => wckTime=182.19 cpuTime=181.24 mem=34M917
266.96
266.96 search
266.96 run=9 nbConstraintChecks=172502162 nbValidityChecks=656548115 nbPropagations=0 nbRevisions=0
266.96 nbUselessRevisions=0 nbAssignments=8929 nbFailedAssignments=7765 nbBacktracks=1128 nbVisitedNodes=17796
266.96 nbRestartNogoods=282
266.96 => wckTime=229.167 cpuTime=227.99 mem=34M917
357.48
357.48 search
357.48 run=10 nbConstraintChecks=235210076 nbValidityChecks=884951647 nbPropagations=0 nbRevisions=0
357.48 nbUselessRevisions=0 nbAssignments=13266 nbFailedAssignments=11523 nbBacktracks=1704 nbVisitedNodes=26397
357.48 nbRestartNogoods=339
357.48 => wckTime=319.685 cpuTime=318.08 mem=34M917
435.04
435.04 search
435.04 run=11 nbConstraintChecks=291306144 nbValidityChecks=1087166306 nbPropagations=0 nbRevisions=0
435.04 nbUselessRevisions=0 nbAssignments=16518 nbFailedAssignments=13908 nbBacktracks=2568 nbVisitedNodes=32636
435.04 nbRestartNogoods=361
435.04 => wckTime=397.252 cpuTime=395.28 mem=34M917
561.28
561.28 search
561.28 run=12 nbConstraintChecks=374891344 nbValidityChecks=1405909321 nbPropagations=0 nbRevisions=0
561.28 nbUselessRevisions=0 nbAssignments=23340 nbFailedAssignments=19428 nbBacktracks=3865 nbVisitedNodes=46101
561.28 nbRestartNogoods=376
561.28 => wckTime=523.492 cpuTime=520.93 mem=34M917
696.15
696.15 search
696.15 run=13 nbConstraintChecks=462735693 nbValidityChecks=1747361701 nbPropagations=0 nbRevisions=0
696.15 nbUselessRevisions=0 nbAssignments=30662 nbFailedAssignments=24799 nbBacktracks=5812 nbVisitedNodes=60169
696.15 nbRestartNogoods=410
696.15 => wckTime=658.36 cpuTime=655.32 mem=34M917
963.68
963.68 search
963.68 run=14 nbConstraintChecks=680740921 nbValidityChecks=2530896320 nbPropagations=0 nbRevisions=0
963.68 nbUselessRevisions=0 nbAssignments=40338 nbFailedAssignments=31551 nbBacktracks=8731 nbVisitedNodes=78702
963.68 nbRestartNogoods=438
963.68 => wckTime=925.891 cpuTime=922.46 mem=34M917
1156.63
1156.63 search
1156.63 run=15 nbConstraintChecks=795552345 nbValidityChecks=3008054759 nbPropagations=0 nbRevisions=0
1156.63 nbUselessRevisions=0 nbAssignments=53813 nbFailedAssignments=40642 nbBacktracks=13109 nbVisitedNodes=104467
1156.63 nbRestartNogoods=467
1156.63 => wckTime=1118.838 cpuTime=1115.21 mem=34M917
1569.43
1569.43 search
1569.43 run=16 nbConstraintChecks=1074386869 nbValidityChecks=4097383510 nbPropagations=0 nbRevisions=0
1569.43 nbUselessRevisions=0 nbAssignments=74658 nbFailedAssignments=54914 nbBacktracks=19677 nbVisitedNodes=143953
1569.43 nbRestartNogoods=493
1569.43 => wckTime=1531.642 cpuTime=1527.56 mem=35M892
2241.99
2242.00 search
2242.00 run=17 nbConstraintChecks=1609218024 nbValidityChecks=5957618513 nbPropagations=0 nbRevisions=0
2242.00 nbUselessRevisions=0 nbAssignments=103073 nbFailedAssignments=73472 nbBacktracks=29529 nbVisitedNodes=197316
2242.00 nbRestartNogoods=532
2242.00 => wckTime=2204.205 cpuTime=2199.35 mem=35M892
2405.16 v 0 2 10 15 29 33 34 45 51 54 54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-275112-1169216650 -o ROOT/results/node13/solver-275112-1169216650 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275112-1169216650/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: 1.92 1.96 1.83 4/87 13207
/proc/meminfo: memFree=1402896/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=906644 CPUtime=0.02
/proc/13206/stat : 13206 (java) S 13204 13206 13066 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 270059968 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 226661 1818 1036 14 0 214244 0
[pid=13206/tid=13208] ppid=13204 vsize=906644 CPUtime=0
/proc/13206/task/13208/stat : 13208 (java) R 13204 13206 13066 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 270059972 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.102633 s]
/proc/loadavg: 1.92 1.96 1.83 4/87 13207
/proc/meminfo: memFree=1402896/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=914988 CPUtime=0.09
/proc/13206/stat : 13206 (java) S 13204 13206 13066 0 -1 0 2998 0 1 0 8 1 0 0 17 0 8 0 270059968 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228747 2744 1427 14 0 215242 0
[pid=13206/tid=13208] ppid=13204 vsize=914988 CPUtime=0
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 270059972 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510687 s]
/proc/loadavg: 1.92 1.96 1.83 4/87 13207
/proc/meminfo: memFree=1402896/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915332 CPUtime=0.49
/proc/13206/stat : 13206 (java) S 13204 13206 13066 0 -1 0 6441 0 1 0 47 2 0 0 17 0 8 0 270059968 937299968 6180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228833 6180 2147 14 0 215303 0
[pid=13206/tid=13208] ppid=13204 vsize=915332 CPUtime=0
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 270059972 937299968 6180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33179 s]
/proc/loadavg: 1.92 1.96 1.83 3/94 13214
/proc/meminfo: memFree=1378392/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=1.31
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 8807 0 1 0 121 10 0 0 21 0 8 0 270059968 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812435 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228863 8545 2494 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 332 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.17
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 367 0 0 0 17 0 0 0 17 0 8 0 270059976 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270059976 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.97501 s]
/proc/loadavg: 1.92 1.96 1.83 3/94 13214
/proc/meminfo: memFree=1378392/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2.95
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 8812 0 1 0 285 10 0 0 25 0 8 0 270059968 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228863 8549 2496 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 332 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.17
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 371 0 0 0 17 0 0 0 16 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452
[startup+6.18144 s]
/proc/loadavg: 1.92 1.96 1.83 3/94 13214
/proc/meminfo: memFree=1378264/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=6.14
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 8812 0 1 0 602 12 0 0 25 0 8 0 270059968 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228863 8549 2496 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 332 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.17
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 371 0 0 0 17 0 0 0 16 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915452
[startup+12.6513 s]
/proc/loadavg: 1.93 1.96 1.83 3/94 13214
/proc/meminfo: memFree=1378264/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=12.58
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 8812 0 1 0 1244 14 0 0 25 0 8 0 270059968 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228863 8549 2496 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 332 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.17
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 371 0 0 0 17 0 0 0 16 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915452
[startup+25.507 s]
/proc/loadavg: 1.94 1.96 1.83 3/94 13214
/proc/meminfo: memFree=1378264/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=25.38
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 8815 0 1 0 2521 17 0 0 25 0 8 0 270059968 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228863 8552 2496 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 332 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.18
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 270059976 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270059976 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915452
[startup+51.1264 s]
/proc/loadavg: 1.96 1.96 1.83 3/94 13214
/proc/meminfo: memFree=1359064/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=50.87
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13677 0 1 0 5063 24 0 0 25 0 8 0 270059968 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228863 13406 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.27
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 433 0 0 0 27 0 0 0 15 0 8 0 270059976 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270059976 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915452
[startup+102.392 s]
/proc/loadavg: 1.98 1.97 1.83 3/94 13214
/proc/meminfo: memFree=1359064/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=101.89
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13691 0 1 0 10165 24 0 0 25 0 8 0 270059968 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228863 13419 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.28
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 436 0 0 0 28 0 0 0 16 0 8 0 270059976 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270059976 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915452
################
# More data... #
################
Current children cumulated CPU time (s) 2018.61
Current children cumulated vsize (KiB) 915452
[startup+2083.27 s]
/proc/loadavg: 2.03 2.01 1.94 3/101 13300
/proc/meminfo: memFree=1314656/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2078.54
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13745 0 1 0 207818 36 0 0 25 0 8 0 270059968 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819878 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13206/statm: 228863 13464 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.33
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0.01
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2078.54
Current children cumulated vsize (KiB) 915452
[startup+2143.28 s]
/proc/loadavg: 2.07 2.02 1.95 3/101 13300
/proc/meminfo: memFree=1314656/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2138.49
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13745 0 1 0 213813 36 0 0 25 0 8 0 270059968 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13206/statm: 228863 13464 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.33
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0.01
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2138.49
Current children cumulated vsize (KiB) 915452
[startup+2203.34 s]
/proc/loadavg: 2.02 2.02 1.95 3/101 13300
/proc/meminfo: memFree=1314720/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2198.48
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13745 0 1 0 219812 36 0 0 25 0 8 0 270059968 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971694 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13206/statm: 228863 13464 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.33
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0.01
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2198.48
Current children cumulated vsize (KiB) 915452
[startup+2263.4 s]
/proc/loadavg: 2.01 2.01 1.95 3/107 13464
/proc/meminfo: memFree=1313328/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2258.41
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13748 0 1 0 225792 49 0 0 25 0 8 0 270059968 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13206/statm: 228863 13467 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.33
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0.01
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2258.41
Current children cumulated vsize (KiB) 915452
[startup+2323.43 s]
/proc/loadavg: 2.00 2.01 1.95 3/101 13498
/proc/meminfo: memFree=1314400/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2318.38
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13748 0 1 0 231784 54 0 0 25 0 8 0 270059968 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952795 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13206/statm: 228863 13467 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.33
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0.01
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2318.38
Current children cumulated vsize (KiB) 915452
[startup+2383.44 s]
/proc/loadavg: 2.00 2.00 1.95 3/101 13498
/proc/meminfo: memFree=1314400/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2378.33
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13748 0 1 0 237778 55 0 0 25 0 8 0 270059968 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074049769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13206/statm: 228863 13467 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.33
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0.01
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2378.33
Current children cumulated vsize (KiB) 915452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2405.15 s]
/proc/loadavg: 2.00 2.00 1.95 4/101 13498
/proc/meminfo: memFree=1314400/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2400.01
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13748 0 1 0 239946 55 0 0 25 0 8 0 270059968 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13206/statm: 228863 13467 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.33
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0.01
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2405.19
CPU time (s): 2400.05
CPU user time (s): 2399.49
CPU system time (s): 0.559914
CPU usage (%): 99.7863
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.49
system time used= 0.559914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13773
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= 49783
involuntary context switches= 65455
runsolver used 3.10353 s user time and 7.97379 s system time
The end
Begin job on node13 on Fri Jan 19 14:24:10 UTC 2007
IDJOB= 275112
IDBENCH= 3529
IDSOLVER= 69
FILE ID= node13/275112-1169216650
PBS_JOBID= 3588938
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-55-11-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275112-1169216650/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-275112-1169216650 -o ROOT/results/node13/solver-275112-1169216650 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275112-1169216650/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1f9db1cd2e7ccd3afc8aaa7073d57623
RANDOM SEED= 647976074
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.247
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.247
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: 1403376 kB
Buffers: 58688 kB
Cached: 486028 kB
SwapCached: 3092 kB
Active: 268688 kB
Inactive: 307484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1403376 kB
SwapTotal: 4192956 kB
SwapFree: 4169400 kB
Dirty: 2104 kB
Writeback: 0 kB
Mapped: 40116 kB
Slab: 61136 kB
Committed_AS: 7356680 kB
PageTables: 2396 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= 66563 MiB
End job on node13 on Fri Jan 19 15:04:15 UTC 2007