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/276455-1169237928/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.42 => wckTime=0.106 cpuTime=0.1 mem=6M910
0.42
0.42 relations being loaded...
0.60
0.60 constraints being loaded...
0.69 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.69 => wckTime=0.383 cpuTime=0.32 mem=21M707
0.74
0.74 solver LocalSearchSolver being built...
0.79 => wckTime=0.476 cpuTime=0.36 mem=6M328
0.80
0.80 s SATISFIABLE
0.80 o 24
0.80 c 79
0.80 o 29
0.80 c 74
0.80 o 32
0.80 c 71
0.80 o 36
0.80 c 67
0.80 o 40
0.80 c 63
0.80 o 44
0.80 c 59
0.81 o 48
0.81 c 55
0.81 o 51
0.81 c 52
0.81 o 55
0.81 c 48
0.81 o 57
0.81 c 46
0.81 o 60
0.81 c 43
0.81 o 62
0.81 c 41
0.81 o 64
0.81 c 39
0.81 o 66
0.81 c 37
0.81 o 68
0.81 c 35
0.81 o 70
0.82 c 33
0.82 o 73
0.82 c 30
0.82 o 76
0.82 c 27
0.82 o 77
0.82 c 26
0.82 o 79
0.82 c 24
0.82 o 80
0.82 c 23
0.82 o 81
0.82 c 22
0.82 o 82
0.82 c 21
0.82 o 83
0.82 c 20
0.83 o 84
0.83 c 19
0.84 o 85
0.84 c 18
0.84 o 86
0.84 c 17
0.84 o 87
0.84 c 16
0.85 o 88
0.85 c 15
0.86 o 89
0.86 c 14
0.86 o 90
0.86 c 13
0.87 o 91
0.87 c 12
0.87 o 92
0.87 c 11
0.87 o 93
0.88 c 10
0.97 o 94
0.97 c 9
0.97 o 95
0.97 c 8
1.01 o 96
1.01 c 7
1.01 o 97
1.01 c 6
1.02 o 98
1.02 c 5
1.16 o 99
1.16 c 4
6.28
6.28 search
6.28 run=0 nbConstraintChecks=43538740 nbAssignments=10000
6.28 => wckTime=5.492 cpuTime=5.45 mem=6M328
12.12
12.12 search
12.12 run=1 nbConstraintChecks=89308772 nbAssignments=20000
12.12 => wckTime=11.332 cpuTime=11.26 mem=6M328
17.76
17.76 search
17.76 run=2 nbConstraintChecks=133536634 nbAssignments=30000
17.76 => wckTime=16.971 cpuTime=16.87 mem=6M328
24.03
24.03 search
24.03 run=3 nbConstraintChecks=182878398 nbAssignments=40000
24.03 => wckTime=23.241 cpuTime=23.11 mem=6M328
29.65
29.65 search
29.65 run=4 nbConstraintChecks=226929545 nbAssignments=50000
29.65 => wckTime=28.868 cpuTime=28.71 mem=6M328
31.31
31.31 search
31.31 run=5 nbConstraintChecks=239934824 nbAssignments=52857
31.31 => wckTime=30.524 cpuTime=30.37 mem=6M328
31.31
31.31 global
31.31 nbConstraintChecks=239934824 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.31 solvingWckTime=30.52 solvingCpuTime=30.37 expiredTime=no totalExploration=no nbFoundSolutions=0
31.31 globalCpuTime=30.78
31.31 => wckTime=31.0 cpuTime=30.73 mem=6M328
31.31
31.31 solver IterativeSystematicSolver being built...
31.44 => wckTime=31.126 cpuTime=30.83 mem=17M219
31.45
31.45 preprocessing
31.45 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.45 detectedInconsistency=no
31.45 => wckTime=0.0060 cpuTime=0.0 mem=17M219
32.61
32.61 search
32.61 run=0 nbConstraintChecks=7430593 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=643
32.61 nbFailedAssignments=627 nbBacktracks=10 nbVisitedNodes=1281 nbRestartNogoods=0
32.61 => wckTime=1.172 cpuTime=1.13 mem=17M219
34.16
34.16 search
34.16 run=1 nbConstraintChecks=16836563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1539
34.16 nbFailedAssignments=1500 nbBacktracks=25 nbVisitedNodes=3065 nbRestartNogoods=76
34.16 => wckTime=2.723 cpuTime=2.65 mem=17M219
34.94
34.94 search
34.94 run=2 nbConstraintChecks=20977184 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1952
34.94 nbFailedAssignments=1882 nbBacktracks=47 nbVisitedNodes=3882 nbRestartNogoods=212
34.94 => wckTime=3.498 cpuTime=3.42 mem=17M219
37.62
37.62 search
37.62 run=3 nbConstraintChecks=36813892 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3237
37.62 nbFailedAssignments=3122 nbBacktracks=80 nbVisitedNodes=6440 nbRestartNogoods=349
37.62 => wckTime=6.182 cpuTime=6.08 mem=17M219
42.34
42.34 search
42.34 run=4 nbConstraintChecks=65358618 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5776
42.34 nbFailedAssignments=5605 nbBacktracks=130 nbVisitedNodes=11510 nbRestartNogoods=398
42.34 => wckTime=10.899 cpuTime=10.78 mem=17M219
46.18
46.18 search
46.18 run=5 nbConstraintChecks=88335509 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7799
46.18 nbFailedAssignments=7546 nbBacktracks=205 nbVisitedNodes=15549 nbRestartNogoods=457
46.18 => wckTime=14.745 cpuTime=14.62 mem=17M219
54.73
54.73 search
54.73 run=6 nbConstraintChecks=138428319 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11800
54.73 nbFailedAssignments=11427 nbBacktracks=318 nbVisitedNodes=23541 nbRestartNogoods=483
54.73 => wckTime=23.29 cpuTime=23.12 mem=17M219
64.07
64.07 search
64.07 run=7 nbConstraintChecks=192510024 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17158
64.07 nbFailedAssignments=16605 nbBacktracks=488 nbVisitedNodes=34246 nbRestartNogoods=556
64.07 => wckTime=32.636 cpuTime=32.42 mem=17M219
65.55
65.55 search
65.55 run=8 nbConstraintChecks=200632739 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17647
65.55 nbFailedAssignments=16825 nbBacktracks=744 nbVisitedNodes=35210 nbRestartNogoods=583
65.55 => wckTime=34.111 cpuTime=33.89 mem=17M219
76.86
76.86 search
76.86 run=9 nbConstraintChecks=272173079 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24042
76.86 nbFailedAssignments=22831 nbBacktracks=1128 nbVisitedNodes=47994 nbRestartNogoods=606
76.86 => wckTime=45.42 cpuTime=45.15 mem=17M219
82.18
82.18 search
82.18 run=10 nbConstraintChecks=293307152 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27316
82.18 nbFailedAssignments=25514 nbBacktracks=1704 nbVisitedNodes=54526 nbRestartNogoods=614
82.18 => wckTime=50.737 cpuTime=50.44 mem=17M219
100.27
100.27 search
100.27 run=11 nbConstraintChecks=380149614 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37538
100.27 nbFailedAssignments=34855 nbBacktracks=2568 nbVisitedNodes=74951 nbRestartNogoods=764
100.27 => wckTime=68.832 cpuTime=68.45 mem=17M219
118.49
118.49 search
118.49 run=12 nbConstraintChecks=482391118 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=49409
118.49 nbFailedAssignments=45412 nbBacktracks=3866 nbVisitedNodes=98674 nbRestartNogoods=1005
118.49 => wckTime=87.052 cpuTime=86.59 mem=17M219
144.08
144.08 search
144.08 run=13 nbConstraintChecks=578948337 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=56678
144.08 nbFailedAssignments=50731 nbBacktracks=5812 nbVisitedNodes=113173 nbRestartNogoods=1108
144.08 => wckTime=112.638 cpuTime=112.07 mem=17M219
169.99
169.99 search
169.99 run=14 nbConstraintChecks=680496302 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=67902
169.99 nbFailedAssignments=59029 nbBacktracks=8731 nbVisitedNodes=135437 nbRestartNogoods=1162
169.99 => wckTime=138.554 cpuTime=137.87 mem=17M219
215.51
215.51 search
215.51 run=15 nbConstraintChecks=847979891 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=81314
215.51 nbFailedAssignments=68059 nbBacktracks=13109 nbVisitedNodes=162115 nbRestartNogoods=1179
215.51 => wckTime=184.067 cpuTime=183.18 mem=17M219
269.81
269.81 search
269.81 run=16 nbConstraintChecks=1042023357 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=96755
269.81 nbFailedAssignments=76922 nbBacktracks=19677 nbVisitedNodes=192449 nbRestartNogoods=1243
269.81 => wckTime=238.369 cpuTime=237.24 mem=17M219
367.53
367.53 search
367.53 run=17 nbConstraintChecks=1427359162 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=128082
367.53 nbFailedAssignments=98387 nbBacktracks=29530 nbVisitedNodes=254984 nbRestartNogoods=1264
367.53 => wckTime=336.094 cpuTime=334.54 mem=17M219
499.31
499.31 search
499.31 run=18 nbConstraintChecks=1902451515 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=166944
499.31 nbFailedAssignments=122461 nbBacktracks=44310 nbVisitedNodes=331113 nbRestartNogoods=1345
499.31 => wckTime=467.874 cpuTime=465.73 mem=17M219
700.99
700.99 search
700.99 run=19 nbConstraintChecks=2677193833 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=229235
700.99 nbFailedAssignments=162573 nbBacktracks=66478 nbVisitedNodes=454574 nbRestartNogoods=1362
700.99 => wckTime=669.549 cpuTime=666.51 mem=17M219
973.38
973.38 search
973.38 run=20 nbConstraintChecks=3741042176 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=318312
973.38 nbFailedAssignments=218387 nbBacktracks=99730 nbVisitedNodes=631250 nbRestartNogoods=1401
973.38 => wckTime=941.939 cpuTime=937.71 mem=17M219
1380.45
1380.45 search
1380.45 run=21 nbConstraintChecks=5268612670 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=438177
1380.45 nbFailedAssignments=288366 nbBacktracks=149609 nbVisitedNodes=866726 nbRestartNogoods=1437
1380.45 => wckTime=1349.011 cpuTime=1344.26 mem=17M219
1988.71
1988.72 search
1988.72 run=22 nbConstraintChecks=7530394485 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=626392
1988.72 nbFailedAssignments=401756 nbBacktracks=224427 nbVisitedNodes=1232464 nbRestartNogoods=1545
1988.72 => wckTime=1957.277 cpuTime=1952.08 mem=17M219
2195.10 o 100
2195.10 c 3
2405.69 v 57 55 2 64 5 31 3 13 39 63 2 63 71 0 62 11 8 5 0 68 14 5 5 22 7 28 4 0 56 44 48 63 28 9 53 50 58 8 78 24
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-276455-1169237928 -o ROOT/results/node16/solver-276455-1169237928 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276455-1169237928/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.99 1.99 4/87 18261
/proc/meminfo: memFree=1331416/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=47892 CPUtime=0
/proc/18260/stat : 18260 (java) D 18258 18260 17508 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 272187626 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/18260/statm: 11973 968 766 14 0 1707 0
[startup+0.103759 s]
/proc/loadavg: 1.92 1.99 1.99 4/87 18261
/proc/meminfo: memFree=1331416/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=914988 CPUtime=0.08
/proc/18260/stat : 18260 (java) D 18258 18260 17508 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 272187626 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18260/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511683 s]
/proc/loadavg: 1.92 1.99 1.99 4/87 18261
/proc/meminfo: memFree=1331416/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915332 CPUtime=0.49
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 7270 0 1 0 45 4 0 0 18 0 8 0 272187626 937299968 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18260/statm: 228833 7009 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33253 s]
/proc/loadavg: 1.92 1.99 1.99 4/94 18268
/proc/meminfo: memFree=1300320/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915444 CPUtime=1.3
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10434 0 1 0 120 10 0 0 24 0 8 0 272187626 937414656 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18260/statm: 228861 10172 2476 14 0 215331 0
[pid=18260/tid=18262] ppid=18258 vsize=915444 CPUtime=0.03
/proc/18260/task/18262/stat : 18262 (java) S 18258 18260 17508 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272187630 937414656 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18263] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18263/stat : 18263 (java) S 18258 18260 17508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272187630 937414656 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18264] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18264/stat : 18264 (java) S 18258 18260 17508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272187630 937414656 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18265] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18265/stat : 18265 (java) S 18258 18260 17508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272187634 937414656 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18266] ppid=18258 vsize=915444 CPUtime=0.11
/proc/18260/task/18266/stat : 18266 (java) S 18258 18260 17508 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 272187634 937414656 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18267] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18267/stat : 18267 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272187634 937414656 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18268] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18268/stat : 18268 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 16 0 8 0 272187634 937414656 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444
[startup+2.96922 s]
/proc/loadavg: 1.92 1.99 1.99 3/94 18268
/proc/meminfo: memFree=1300320/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915444 CPUtime=2.93
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10438 0 1 0 270 23 0 0 25 0 8 0 272187626 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073674996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18260/statm: 228861 10175 2476 14 0 215331 0
[pid=18260/tid=18262] ppid=18258 vsize=915444 CPUtime=0.03
/proc/18260/task/18262/stat : 18262 (java) S 18258 18260 17508 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272187630 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18263] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18263/stat : 18263 (java) S 18258 18260 17508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272187630 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18264] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18264/stat : 18264 (java) S 18258 18260 17508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272187630 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18265] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18265/stat : 18265 (java) S 18258 18260 17508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272187634 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18266] ppid=18258 vsize=915444 CPUtime=0.12
/proc/18260/task/18266/stat : 18266 (java) S 18258 18260 17508 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 272187634 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18267] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18267/stat : 18267 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272187634 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18268] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18268/stat : 18268 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272187634 937414656 10175 18446744073709551615 134512640 134570532 4294956464 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) 915444
[startup+6.2716 s]
/proc/loadavg: 1.93 1.99 1.99 3/94 18268
/proc/meminfo: memFree=1300128/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915444 CPUtime=6.21
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10438 0 1 0 575 46 0 0 25 0 8 0 272187626 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673322 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18260/statm: 228861 10175 2476 14 0 215331 0
[pid=18260/tid=18262] ppid=18258 vsize=915444 CPUtime=0.03
/proc/18260/task/18262/stat : 18262 (java) S 18258 18260 17508 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272187630 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18263] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18263/stat : 18263 (java) S 18258 18260 17508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272187630 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18264] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18264/stat : 18264 (java) S 18258 18260 17508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272187630 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18265] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18265/stat : 18265 (java) S 18258 18260 17508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272187634 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18266] ppid=18258 vsize=915444 CPUtime=0.12
/proc/18260/task/18266/stat : 18266 (java) S 18258 18260 17508 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 272187634 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18267] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18267/stat : 18267 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272187634 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18268] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18268/stat : 18268 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272187634 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915444
[startup+12.7394 s]
/proc/loadavg: 1.93 1.99 1.99 3/94 18268
/proc/meminfo: memFree=1300136/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915444 CPUtime=12.65
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10440 0 1 0 1169 96 0 0 25 0 8 0 272187626 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675125 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18260/statm: 228861 10177 2476 14 0 215331 0
[pid=18260/tid=18262] ppid=18258 vsize=915444 CPUtime=0.03
/proc/18260/task/18262/stat : 18262 (java) S 18258 18260 17508 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272187630 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18263] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18263/stat : 18263 (java) S 18258 18260 17508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272187630 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18264] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18264/stat : 18264 (java) S 18258 18260 17508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272187630 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18265] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18265/stat : 18265 (java) S 18258 18260 17508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272187634 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18266] ppid=18258 vsize=915444 CPUtime=0.12
/proc/18260/task/18266/stat : 18266 (java) S 18258 18260 17508 0 -1 64 335 0 0 0 12 0 0 0 16 0 8 0 272187634 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18267] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18267/stat : 18267 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272187634 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18268] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18268/stat : 18268 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272187634 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915444
[startup+25.605 s]
/proc/loadavg: 1.95 1.99 1.99 3/94 18268
/proc/meminfo: memFree=1300200/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915448 CPUtime=25.47
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10440 0 1 0 2361 186 0 0 25 0 8 0 272187626 937418752 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18260/statm: 228862 10177 2476 14 0 215332 0
[pid=18260/tid=18262] ppid=18258 vsize=915448 CPUtime=0.03
/proc/18260/task/18262/stat : 18262 (java) S 18258 18260 17508 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272187630 937418752 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18263] ppid=18258 vsize=915448 CPUtime=0
/proc/18260/task/18263/stat : 18263 (java) S 18258 18260 17508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272187630 937418752 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18264] ppid=18258 vsize=915448 CPUtime=0
/proc/18260/task/18264/stat : 18264 (java) S 18258 18260 17508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272187630 937418752 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18265] ppid=18258 vsize=915448 CPUtime=0
/proc/18260/task/18265/stat : 18265 (java) S 18258 18260 17508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272187634 937418752 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18266] ppid=18258 vsize=915448 CPUtime=0.12
/proc/18260/task/18266/stat : 18266 (java) S 18258 18260 17508 0 -1 64 335 0 0 0 12 0 0 0 16 0 8 0 272187634 937418752 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18267] ppid=18258 vsize=915448 CPUtime=0
/proc/18260/task/18267/stat : 18267 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272187634 937418752 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18268] ppid=18258 vsize=915448 CPUtime=0
/proc/18260/task/18268/stat : 18268 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272187634 937418752 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915448
[startup+51.2092 s]
/proc/loadavg: 1.97 1.99 1.99 3/94 18268
/proc/meminfo: memFree=1299880/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915444 CPUtime=50.95
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10596 0 1 0 4866 229 0 0 25 0 8 0 272187626 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18260/statm: 228861 10327 2527 14 0 215331 0
[pid=18260/tid=18262] ppid=18258 vsize=915444 CPUtime=0.03
/proc/18260/task/18262/stat : 18262 (java) S 18258 18260 17508 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272187630 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18263] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18263/stat : 18263 (java) S 18258 18260 17508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272187630 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18264] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18264/stat : 18264 (java) S 18258 18260 17508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272187630 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18265] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18265/stat : 18265 (java) S 18258 18260 17508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272187634 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18266] ppid=18258 vsize=915444 CPUtime=0.22
/proc/18260/task/18266/stat : 18266 (java) S 18258 18260 17508 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 272187634 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18267] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18267/stat : 18267 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272187634 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18268] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18268/stat : 18268 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272187634 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915444
[startup+102.417 s]
/proc/loadavg: 1.98 1.99 1.99 3/94 18268
/proc/meminfo: memFree=1299944/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915444 CPUtime=101.93
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10602 0 1 0 9964 229 0 0 25 0 8 0 272187626 937414656 10331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785645 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18260/statm: 228861 10331 2527 14 0 215331 0
[pid=18260/tid=18262] ppid=18258 vsize=915444 CPUtime=0.03
/proc/18260/task/18262/stat : 18262 (java) S 18258 18260 17508 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272187630 937414656 10331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18263] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18263/stat : 18263 (java) S 18258 18260 17508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272187630 937414656 10331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18264] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18264/stat : 18264 (java) S 18258 18260 17508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272187630 937414656 10331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18265] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18265/stat : 18265 (java) S 18258 18260 17508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272187634 937414656 10331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18266] ppid=18258 vsize=915444 CPUtime=0.22
/proc/18260/task/18266/stat : 18266 (java) S 18258 18260 17508 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 272187634 937414656 10331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18267] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18267/stat : 18267 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272187634 937414656 10331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18268] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18268/stat : 18268 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272187634 937414656 10331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915444
[startup+162.461 s]
/proc/loadavg: 1.99 1.99 1.99 3/94 18268
/proc/meminfo: memFree=1299944/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915444 CPUtime=161.72
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10602 0 1 0 15942 230 0 0 25 0 8 0 272187626 937414656 10331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2018.91
Current children cumulated vsize (KiB) 915444
[startup+2084.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18416
/proc/meminfo: memFree=1294768/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915444 CPUtime=2078.96
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10605 0 1 0 207653 243 0 0 25 0 8 0 272187626 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792525 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18260/statm: 228861 10332 2527 14 0 215331 0
[pid=18260/tid=18262] ppid=18258 vsize=915444 CPUtime=0.03
/proc/18260/task/18262/stat : 18262 (java) S 18258 18260 17508 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18263] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18263/stat : 18263 (java) S 18258 18260 17508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18264] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18264/stat : 18264 (java) S 18258 18260 17508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18265] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18265/stat : 18265 (java) S 18258 18260 17508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18266] ppid=18258 vsize=915444 CPUtime=0.23
/proc/18260/task/18266/stat : 18266 (java) S 18258 18260 17508 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18260/tid=18267] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18267/stat : 18267 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18268] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18268/stat : 18268 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2078.96
Current children cumulated vsize (KiB) 915444
[startup+2144.39 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18416
/proc/meminfo: memFree=1294768/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915444 CPUtime=2138.97
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10605 0 1 0 213654 243 0 0 25 0 8 0 272187626 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785576 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18260/statm: 228861 10332 2527 14 0 215331 0
[pid=18260/tid=18262] ppid=18258 vsize=915444 CPUtime=0.03
/proc/18260/task/18262/stat : 18262 (java) S 18258 18260 17508 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18263] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18263/stat : 18263 (java) S 18258 18260 17508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18264] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18264/stat : 18264 (java) S 18258 18260 17508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18265] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18265/stat : 18265 (java) S 18258 18260 17508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18266] ppid=18258 vsize=915444 CPUtime=0.23
/proc/18260/task/18266/stat : 18266 (java) S 18258 18260 17508 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18260/tid=18267] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18267/stat : 18267 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18268] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18268/stat : 18268 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2138.97
Current children cumulated vsize (KiB) 915444
[startup+2204.47 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18416
/proc/meminfo: memFree=1294704/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915444 CPUtime=2199.01
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10605 0 1 0 219658 243 0 0 25 0 8 0 272187626 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791732 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18260/statm: 228861 10332 2527 14 0 215331 0
[pid=18260/tid=18262] ppid=18258 vsize=915444 CPUtime=0.03
/proc/18260/task/18262/stat : 18262 (java) S 18258 18260 17508 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18263] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18263/stat : 18263 (java) S 18258 18260 17508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18264] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18264/stat : 18264 (java) S 18258 18260 17508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18265] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18265/stat : 18265 (java) S 18258 18260 17508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18266] ppid=18258 vsize=915444 CPUtime=0.23
/proc/18260/task/18266/stat : 18266 (java) S 18258 18260 17508 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18260/tid=18267] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18267/stat : 18267 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18268] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18268/stat : 18268 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2199.01
Current children cumulated vsize (KiB) 915444
[startup+2264.54 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18416
/proc/meminfo: memFree=1294704/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915444 CPUtime=2259.05
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10605 0 1 0 225662 243 0 0 25 0 8 0 272187626 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785515 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18260/statm: 228861 10332 2527 14 0 215331 0
[pid=18260/tid=18262] ppid=18258 vsize=915444 CPUtime=0.03
/proc/18260/task/18262/stat : 18262 (java) S 18258 18260 17508 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18263] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18263/stat : 18263 (java) S 18258 18260 17508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18264] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18264/stat : 18264 (java) S 18258 18260 17508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18265] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18265/stat : 18265 (java) S 18258 18260 17508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18266] ppid=18258 vsize=915444 CPUtime=0.23
/proc/18260/task/18266/stat : 18266 (java) S 18258 18260 17508 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18260/tid=18267] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18267/stat : 18267 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18268] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18268/stat : 18268 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2259.05
Current children cumulated vsize (KiB) 915444
[startup+2324.62 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 18416
/proc/meminfo: memFree=1294768/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915444 CPUtime=2319.06
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10605 0 1 0 231663 243 0 0 25 0 8 0 272187626 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18260/statm: 228861 10332 2527 14 0 215331 0
[pid=18260/tid=18262] ppid=18258 vsize=915444 CPUtime=0.03
/proc/18260/task/18262/stat : 18262 (java) S 18258 18260 17508 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18263] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18263/stat : 18263 (java) S 18258 18260 17508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18264] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18264/stat : 18264 (java) S 18258 18260 17508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18265] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18265/stat : 18265 (java) S 18258 18260 17508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18266] ppid=18258 vsize=915444 CPUtime=0.23
/proc/18260/task/18266/stat : 18266 (java) S 18258 18260 17508 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18260/tid=18267] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18267/stat : 18267 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18268] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18268/stat : 18268 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2319.06
Current children cumulated vsize (KiB) 915444
[startup+2384.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18416
/proc/meminfo: memFree=1294704/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915444 CPUtime=2379.11
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10605 0 1 0 237668 243 0 0 25 0 8 0 272187626 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790904 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18260/statm: 228861 10332 2527 14 0 215331 0
[pid=18260/tid=18262] ppid=18258 vsize=915444 CPUtime=0.03
/proc/18260/task/18262/stat : 18262 (java) S 18258 18260 17508 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18263] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18263/stat : 18263 (java) S 18258 18260 17508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18264] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18264/stat : 18264 (java) S 18258 18260 17508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18265] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18265/stat : 18265 (java) S 18258 18260 17508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18266] ppid=18258 vsize=915444 CPUtime=0.23
/proc/18260/task/18266/stat : 18266 (java) S 18258 18260 17508 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18260/tid=18267] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18267/stat : 18267 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18268] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18268/stat : 18268 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2379.11
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2405.68 s]
/proc/loadavg: 2.15 2.03 2.01 4/93 18416
/proc/meminfo: memFree=1294704/2055920 swapFree=4191880/4192956
[pid=18260] ppid=18258 vsize=915444 CPUtime=2400.09
/proc/18260/stat : 18260 (java) R 18258 18260 17508 0 -1 0 10605 0 1 0 239766 243 0 0 25 0 8 0 272187626 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18260/statm: 228861 10332 2527 14 0 215331 0
[pid=18260/tid=18262] ppid=18258 vsize=915444 CPUtime=0.03
/proc/18260/task/18262/stat : 18262 (java) S 18258 18260 17508 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18263] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18263/stat : 18263 (java) S 18258 18260 17508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18264] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18264/stat : 18264 (java) S 18258 18260 17508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272187630 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18265] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18265/stat : 18265 (java) S 18258 18260 17508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18266] ppid=18258 vsize=915444 CPUtime=0.23
/proc/18260/task/18266/stat : 18266 (java) S 18258 18260 17508 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18260/tid=18267] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18267/stat : 18267 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18260/tid=18268] ppid=18258 vsize=915444 CPUtime=0
/proc/18260/task/18268/stat : 18268 (java) S 18258 18260 17508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272187634 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2405.71
CPU time (s): 2400.12
CPU user time (s): 2397.68
CPU system time (s): 2.44563
CPU usage (%): 99.7679
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.68
system time used= 2.44563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10623
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= 49779
involuntary context switches= 48313
runsolver used 3.63145 s user time and 7.02093 s system time
The end
Begin job on node16 on Fri Jan 19 20:18:48 UTC 2007
IDJOB= 276455
IDBENCH= 5779
IDSOLVER= 69
FILE ID= node16/276455-1169237928
PBS_JOBID= 3589008
Free space on /tmp= 66558 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-14_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276455-1169237928/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-276455-1169237928 -o ROOT/results/node16/solver-276455-1169237928 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276455-1169237928/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ce4ee7f22ec5957765b5dfae25f9f2ac
RANDOM SEED= 700148855
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: 1331896 kB
Buffers: 43732 kB
Cached: 552972 kB
SwapCached: 268 kB
Active: 270556 kB
Inactive: 380084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1331896 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2428 kB
Writeback: 0 kB
Mapped: 73488 kB
Slab: 58208 kB
Committed_AS: 7374148 kB
PageTables: 2376 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= 66559 MiB
End job on node16 on Fri Jan 19 20:58:54 UTC 2007