0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=epfc.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/277822-1169270823/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.44 => wckTime=0.1 cpuTime=0.09 mem=6M887
0.44
0.44 relations being loaded...
0.44
0.44 constraints being loaded...
0.61 nbConstraints=1258 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=1244
0.61 nbConflictsStructures=14 nbSharedConflictsStructures=1244 nbSharedBinaryRepresentations=52 maxDegree=45
0.61 maxArity=2
0.61 => wckTime=0.277 cpuTime=0.19 mem=10M804
0.66
0.66 solver LocalSearchSolver being built...
0.70 => wckTime=0.359 cpuTime=0.23 mem=6M18
0.70
0.70 s SATISFIABLE
0.70 o 903
0.70 c 355
0.70 o 909
0.70 c 349
0.71 o 918
0.71 c 340
0.71 o 925
0.71 c 333
0.71 o 933
0.71 c 325
0.71 o 940
0.71 c 318
0.71 o 943
0.71 c 315
0.71 o 947
0.71 c 311
0.71 o 950
0.71 c 308
0.71 o 954
0.71 c 304
0.71 o 957
0.71 c 301
0.71 o 958
0.71 c 300
0.71 o 960
0.71 c 298
0.71 o 962
0.71 c 296
0.71 o 966
0.71 c 292
0.72 o 970
0.72 c 288
0.72 o 971
0.72 c 287
0.72 o 973
0.72 c 285
0.72 o 976
0.72 c 282
0.72 o 977
0.72 c 281
0.72 o 981
0.72 c 277
0.72 o 985
0.72 c 273
0.78 o 987
0.78 c 271
0.78 o 990
0.78 c 268
0.78 o 991
0.78 c 267
0.78 o 993
0.78 c 265
0.78 o 997
0.78 c 261
0.79 o 999
0.79 c 259
0.79 o 1003
0.79 c 255
0.79 o 1004
0.79 c 254
1.22 o 1006
1.22 c 252
1.22 o 1010
1.22 c 248
1.22 o 1013
1.22 c 245
1.22 o 1015
1.22 c 243
1.22 o 1016
1.22 c 242
1.42 o 1018
1.42 c 240
1.42 o 1019
1.42 c 239
3.64 o 1020
3.64 c 238
3.64 o 1021
3.64 c 237
3.66 o 1022
3.66 c 236
4.05
4.05 search
4.05 run=0 nbConstraintChecks=17379588 nbAssignments=10000
4.05 => wckTime=3.354 cpuTime=3.32 mem=6M18
7.42
7.42 search
7.42 run=1 nbConstraintChecks=35403368 nbAssignments=20000
7.42 => wckTime=6.723 cpuTime=6.68 mem=6M18
10.69
10.70 search
10.70 run=2 nbConstraintChecks=52774734 nbAssignments=30000
10.70 => wckTime=10.002 cpuTime=9.96 mem=6M18
14.05
14.05 search
14.05 run=3 nbConstraintChecks=70812344 nbAssignments=40000
14.05 => wckTime=13.353 cpuTime=13.3 mem=6M18
17.26
17.26 search
17.26 run=4 nbConstraintChecks=88201549 nbAssignments=50000
17.26 => wckTime=16.565 cpuTime=16.52 mem=6M18
20.57
20.57 search
20.57 run=5 nbConstraintChecks=106237320 nbAssignments=60000
20.57 => wckTime=19.875 cpuTime=19.82 mem=6M18
23.81
23.81 search
23.81 run=6 nbConstraintChecks=123642768 nbAssignments=70000
23.81 => wckTime=23.121 cpuTime=23.07 mem=6M18
27.15
27.15 search
27.15 run=7 nbConstraintChecks=141681193 nbAssignments=80000
27.15 => wckTime=26.461 cpuTime=26.41 mem=6M18
30.39
30.39 search
30.39 run=8 nbConstraintChecks=159048887 nbAssignments=90000
30.39 => wckTime=29.7 cpuTime=29.65 mem=6M18
33.68
33.68 search
33.68 run=9 nbConstraintChecks=176959013 nbAssignments=99917
33.68 => wckTime=32.988 cpuTime=32.94 mem=6M18
33.68
33.68 global
33.68 nbConstraintChecks=176959013 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.68 solvingWckTime=32.985 solvingCpuTime=32.94 expiredTime=no totalExploration=no nbFoundSolutions=0
33.68 globalCpuTime=33.22
33.68 => wckTime=33.346 cpuTime=33.17 mem=6M18
33.68
33.68 solver IterativeSystematicSolver being built...
33.82 => wckTime=33.485 cpuTime=33.28 mem=17M40
33.94
33.94 preprocessing
33.94 nbConstraintChecks=128720 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.94 detectedInconsistency=no
33.94 => wckTime=0.12 cpuTime=0.09 mem=17M40
34.01
34.01 search
34.01 run=0 nbConstraintChecks=108579 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=55
34.01 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=71 nbRestartNogoods=0
34.01 => wckTime=0.185 cpuTime=0.15 mem=17M40
34.09
34.09 search
34.09 run=1 nbConstraintChecks=248533 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=121
34.09 nbFailedAssignments=13 nbBacktracks=25 nbVisitedNodes=159 nbRestartNogoods=1
34.09 => wckTime=0.267 cpuTime=0.23 mem=17M40
34.18
34.18 search
34.18 run=2 nbConstraintChecks=432786 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=196
34.18 nbFailedAssignments=26 nbBacktracks=47 nbVisitedNodes=269 nbRestartNogoods=3
34.18 => wckTime=0.358 cpuTime=0.31 mem=18M15
34.31
34.31 search
34.31 run=3 nbConstraintChecks=701154 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=294
34.31 nbFailedAssignments=49 nbBacktracks=81 nbVisitedNodes=424 nbRestartNogoods=5
34.31 => wckTime=0.484 cpuTime=0.44 mem=18M15
34.47
34.47 search
34.48 run=4 nbConstraintChecks=1062741 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=418
34.48 nbFailedAssignments=80 nbBacktracks=131 nbVisitedNodes=627 nbRestartNogoods=8
34.48 => wckTime=0.652 cpuTime=0.61 mem=18M15
34.72
34.72 search
34.72 run=5 nbConstraintChecks=1616923 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=594
34.72 nbFailedAssignments=141 nbBacktracks=206 nbVisitedNodes=936 nbRestartNogoods=11
34.72 => wckTime=0.894 cpuTime=0.85 mem=18M15
35.03
35.03 search
35.03 run=6 nbConstraintChecks=2325909 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=814
35.03 nbFailedAssignments=205 nbBacktracks=319 nbVisitedNodes=1324 nbRestartNogoods=15
35.03 => wckTime=1.208 cpuTime=1.16 mem=18M15
35.51
35.51 search
35.51 run=7 nbConstraintChecks=3346099 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1109
35.51 nbFailedAssignments=295 nbBacktracks=489 nbVisitedNodes=1873 nbRestartNogoods=20
35.51 => wckTime=1.687 cpuTime=1.64 mem=18M15
36.25
36.25 search
36.25 run=8 nbConstraintChecks=4937067 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1559
36.25 nbFailedAssignments=443 nbBacktracks=745 nbVisitedNodes=2722 nbRestartNogoods=22
36.25 => wckTime=2.422 cpuTime=2.35 mem=18M15
37.34
37.34 search
37.34 run=9 nbConstraintChecks=7190460 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2183
37.34 nbFailedAssignments=647 nbBacktracks=1130 nbVisitedNodes=3918 nbRestartNogoods=24
37.34 => wckTime=3.517 cpuTime=3.43 mem=18M15
38.82
38.82 search
38.82 run=10 nbConstraintChecks=10611099 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3122
38.82 nbFailedAssignments=968 nbBacktracks=1706 nbVisitedNodes=5735 nbRestartNogoods=27
38.82 => wckTime=4.996 cpuTime=4.91 mem=18M15
41.07
41.07 search
41.07 run=11 nbConstraintChecks=15742406 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4532
41.07 nbFailedAssignments=1477 nbBacktracks=2570 nbVisitedNodes=8481 nbRestartNogoods=30
41.07 => wckTime=7.242 cpuTime=7.15 mem=18M15
44.83
44.83 search
44.83 run=12 nbConstraintChecks=23991692 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6736
44.83 nbFailedAssignments=2344 nbBacktracks=3867 nbVisitedNodes=12804 nbRestartNogoods=33
44.83 => wckTime=11.008 cpuTime=10.91 mem=18M15
50.41
50.41 search
50.41 run=13 nbConstraintChecks=35623023 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9848
50.41 nbFailedAssignments=3476 nbBacktracks=5815 nbVisitedNodes=18902 nbRestartNogoods=38
50.41 => wckTime=16.59 cpuTime=16.49 mem=18M15
58.87
58.87 search
58.87 run=14 nbConstraintChecks=53695330 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14649
58.87 nbFailedAssignments=5323 nbBacktracks=8736 nbVisitedNodes=28360 nbRestartNogoods=42
58.87 => wckTime=25.05 cpuTime=24.92 mem=18M15
70.72
70.72 search
70.72 run=15 nbConstraintChecks=79319955 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21448
70.72 nbFailedAssignments=7706 nbBacktracks=13114 nbVisitedNodes=41757 nbRestartNogoods=49
70.72 => wckTime=36.895 cpuTime=36.76 mem=18M15
90.80
90.80 search
90.80 run=16 nbConstraintChecks=119332184 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32336
90.80 nbFailedAssignments=11998 nbBacktracks=19682 nbVisitedNodes=63191 nbRestartNogoods=54
90.80 => wckTime=56.979 cpuTime=56.83 mem=18M15
119.58
119.58 search
119.58 run=17 nbConstraintChecks=180294395 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48776
119.58 nbFailedAssignments=18553 nbBacktracks=29534 nbVisitedNodes=95412 nbRestartNogoods=58
119.58 => wckTime=85.759 cpuTime=85.57 mem=18M15
166.49
166.49 search
166.49 run=18 nbConstraintChecks=274741296 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73934
166.49 nbFailedAssignments=28899 nbBacktracks=44312 nbVisitedNodes=144826 nbRestartNogoods=66
166.49 => wckTime=132.662 cpuTime=132.43 mem=18M15
233.23
233.23 search
233.23 run=19 nbConstraintChecks=412485053 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=112167
233.23 nbFailedAssignments=44933 nbBacktracks=66480 nbVisitedNodes=219842 nbRestartNogoods=75
233.23 => wckTime=199.408 cpuTime=199.12 mem=18M15
329.49
329.49 search
329.49 run=20 nbConstraintChecks=612326964 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=165942
329.49 nbFailedAssignments=65425 nbBacktracks=99734 nbVisitedNodes=326101 nbRestartNogoods=81
329.49 => wckTime=295.67 cpuTime=295.26 mem=18M15
477.49
477.49 search
477.49 run=21 nbConstraintChecks=906838081 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=247194
477.49 nbFailedAssignments=96772 nbBacktracks=149613 nbVisitedNodes=486906 nbRestartNogoods=89
477.49 => wckTime=443.67 cpuTime=443.12 mem=18M15
713.05
713.05 search
713.05 run=22 nbConstraintChecks=1375386183 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=370468
713.05 nbFailedAssignments=145195 nbBacktracks=224431 nbVisitedNodes=729283 nbRestartNogoods=96
713.05 => wckTime=679.228 cpuTime=678.44 mem=18M15
1051.99
1051.99 search
1051.99 run=23 nbConstraintChecks=2058103900 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=552974
1051.99 nbFailedAssignments=215440 nbBacktracks=336658 nbVisitedNodes=1088343 nbRestartNogoods=105
1051.99 => wckTime=1018.171 cpuTime=1017.03 mem=18M15
1553.53
1553.53 search
1553.53 run=24 nbConstraintChecks=3044424557 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=822451
1553.53 nbFailedAssignments=316547 nbBacktracks=505001 nbVisitedNodes=1621217 nbRestartNogoods=112
1553.53 => wckTime=1519.704 cpuTime=1518.06 mem=18M15
2317.57
2317.57 search
2317.57 run=25 nbConstraintChecks=4489729144 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1231539
2317.57 nbFailedAssignments=473096 nbBacktracks=757512 nbVisitedNodes=2423907 nbRestartNogoods=120
2317.57 => wckTime=2283.744 cpuTime=2281.26 mem=18M15
2402.67 v 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-277822-1169270823 -o ROOT/results/node45/solver-277822-1169270823 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277822-1169270823/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.98 1.97 4/71 9609
/proc/meminfo: memFree=1432392/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=18540 CPUtime=0
/proc/9608/stat : 9608 (runsolver) D 9599 9608 9025 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275481531 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258939088167 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/9608/statm: 4635 279 244 17 0 2626 0
[startup+0.108589 s]
/proc/loadavg: 1.92 1.98 1.97 4/71 9609
/proc/meminfo: memFree=1432392/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=907808 CPUtime=0.06
/proc/9608/stat : 9608 (java) D 9599 9608 9025 0 -1 0 2503 0 1 0 5 1 0 0 17 0 4 0 275481531 929595392 2250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/9608/statm: 226952 2250 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.518663 s]
/proc/loadavg: 1.92 1.98 1.97 4/71 9609
/proc/meminfo: memFree=1432392/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915332 CPUtime=0.46
/proc/9608/stat : 9608 (java) S 9599 9608 9025 0 -1 0 6244 0 1 0 43 3 0 0 16 0 8 0 275481531 937299968 5983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228833 5983 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.33981 s]
/proc/loadavg: 1.92 1.98 1.97 2/75 9616
/proc/meminfo: memFree=1412712/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=1.28
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 7731 0 1 0 117 11 0 0 17 0 8 0 275481531 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073714551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228866 7469 2479 14 0 215336 0
[pid=9608/tid=9610] ppid=9599 vsize=915464 CPUtime=0.03
/proc/9608/task/9610/stat : 9610 (java) S 9599 9608 9025 0 -1 64 281 0 0 0 3 0 0 0 17 0 8 0 275481537 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9611] ppid=9599 vsize=915468 CPUtime=0
/proc/9608/task/9611/stat : 9611 (java) S 9599 9608 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481538 937439232 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9612] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9612/stat : 9612 (java) S 9599 9608 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481538 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9613] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9613/stat : 9613 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275481542 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9614] ppid=9599 vsize=915464 CPUtime=0.14
/proc/9608/task/9614/stat : 9614 (java) S 9599 9608 9025 0 -1 64 345 0 0 0 14 0 0 0 16 0 8 0 275481542 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9615] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9615/stat : 9615 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275481542 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9616] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9616/stat : 9616 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481542 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915464
[startup+2.9771 s]
/proc/loadavg: 1.93 1.98 1.97 3/76 9618
/proc/meminfo: memFree=1413024/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=2.91
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 7732 0 1 0 262 29 0 0 25 0 8 0 275481531 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228866 7469 2479 14 0 215336 0
[pid=9608/tid=9610] ppid=9599 vsize=915464 CPUtime=0.03
/proc/9608/task/9610/stat : 9610 (java) S 9599 9608 9025 0 -1 64 281 0 0 0 3 0 0 0 16 0 8 0 275481537 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9611] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9611/stat : 9611 (java) S 9599 9608 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481538 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9612] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9612/stat : 9612 (java) S 9599 9608 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481538 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9613] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9613/stat : 9613 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275481542 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9614] ppid=9599 vsize=915464 CPUtime=0.14
/proc/9608/task/9614/stat : 9614 (java) S 9599 9608 9025 0 -1 64 345 0 0 0 14 0 0 0 16 0 8 0 275481542 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9615] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9615/stat : 9615 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275481542 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9616] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9616/stat : 9616 (java) R 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481542 937435136 7469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915464
[startup+6.2747 s]
/proc/loadavg: 1.93 1.98 1.97 2/75 9620
/proc/meminfo: memFree=1414248/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=6.21
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 7734 0 1 0 551 70 0 0 25 0 8 0 275481531 937435136 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073712425 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228867 7471 2479 14 0 215337 0
[pid=9608/tid=9610] ppid=9599 vsize=915464 CPUtime=0.03
/proc/9608/task/9610/stat : 9610 (java) S 9599 9608 9025 0 -1 64 281 0 0 0 3 0 0 0 16 0 8 0 275481537 937435136 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9611] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9611/stat : 9611 (java) S 9599 9608 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481538 937435136 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9612] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9612/stat : 9612 (java) S 9599 9608 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481538 937435136 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9613] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9613/stat : 9613 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275481542 937435136 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9614] ppid=9599 vsize=915464 CPUtime=0.15
/proc/9608/task/9614/stat : 9614 (java) S 9599 9608 9025 0 -1 64 347 0 0 0 15 0 0 0 16 0 8 0 275481542 937435136 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9615] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9615/stat : 9615 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275481542 937435136 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9616] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9616/stat : 9616 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481542 937435136 7471 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) 915464
[startup+12.7509 s]
/proc/loadavg: 1.78 1.95 1.96 2/75 9648
/proc/meminfo: memFree=1410792/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=12.67
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 7735 0 1 0 1127 140 0 0 25 0 8 0 275481531 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228866 7472 2479 14 0 215336 0
[pid=9608/tid=9610] ppid=9599 vsize=915464 CPUtime=0.03
/proc/9608/task/9610/stat : 9610 (java) S 9599 9608 9025 0 -1 64 281 0 0 0 3 0 0 0 16 0 8 0 275481537 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9611] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9611/stat : 9611 (java) S 9599 9608 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481538 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9612] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9612/stat : 9612 (java) S 9599 9608 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481538 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9613] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9613/stat : 9613 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275481542 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9614] ppid=9599 vsize=915464 CPUtime=0.15
/proc/9608/task/9614/stat : 9614 (java) S 9599 9608 9025 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 275481542 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9615] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9615/stat : 9615 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275481542 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9616] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9616/stat : 9616 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481542 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915464
[startup+25.6122 s]
/proc/loadavg: 1.82 1.95 1.96 4/80 9653
/proc/meminfo: memFree=1408000/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=25.53
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 7735 0 1 0 2268 285 0 0 25 0 8 0 275481531 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073712358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228866 7472 2479 14 0 215336 0
[pid=9608/tid=9610] ppid=9599 vsize=915464 CPUtime=0.03
/proc/9608/task/9610/stat : 9610 (java) S 9599 9608 9025 0 -1 64 281 0 0 0 3 0 0 0 16 0 8 0 275481537 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9611] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9611/stat : 9611 (java) S 9599 9608 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481538 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9612] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9612/stat : 9612 (java) S 9599 9608 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481538 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9613] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9613/stat : 9613 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275481542 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9614] ppid=9599 vsize=915464 CPUtime=0.15
/proc/9608/task/9614/stat : 9614 (java) S 9599 9608 9025 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 275481542 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9615] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9615/stat : 9615 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275481542 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9616] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9616/stat : 9616 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481542 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915464
[startup+51.2199 s]
/proc/loadavg: 1.88 1.95 1.96 3/80 9653
/proc/meminfo: memFree=1402176/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=51.12
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 9326 0 1 0 4737 375 0 0 25 0 8 0 275481531 937435136 9057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228866 9057 2532 14 0 215336 0
[pid=9608/tid=9610] ppid=9599 vsize=915464 CPUtime=0.03
/proc/9608/task/9610/stat : 9610 (java) S 9599 9608 9025 0 -1 64 282 0 0 0 3 0 0 0 16 0 8 0 275481537 937435136 9057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9611] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9611/stat : 9611 (java) S 9599 9608 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481538 937435136 9057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9612] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9612/stat : 9612 (java) S 9599 9608 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481538 937435136 9057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9613] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9613/stat : 9613 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275481542 937435136 9057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9614] ppid=9599 vsize=915464 CPUtime=0.26
/proc/9608/task/9614/stat : 9614 (java) S 9599 9608 9025 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 275481542 937435136 9057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9615] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9615/stat : 9615 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275481542 937435136 9057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9616] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9616/stat : 9616 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481542 937435136 9057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915464
[startup+102.424 s]
/proc/loadavg: 1.99 1.97 1.97 3/80 9653
/proc/meminfo: memFree=1402176/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=102.25
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 9339 0 1 0 9850 375 0 0 25 0 8 0 275481531 937435136 9070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228866 9070 2532 14 0 215336 0
[pid=9608/tid=9610] ppid=9599 vsize=915464 CPUtime=0.03
/proc/9608/task/9610/stat : 9610 (java) S 9599 9608 9025 0 -1 64 282 0 0 0 3 0 0 0 16 0 8 0 275481537 937435136 9070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9611] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9611/stat : 9611 (java) S 9599 9608 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481538 937435136 9070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9612] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9612/stat : 9612 (java) S 9599 9608 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481538 937435136 9070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9613] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9613/stat : 9613 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275481542 937435136 9070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9614] ppid=9599 vsize=915464 CPUtime=0.26
/proc/9608/task/9614/stat : 9614 (java) S 9599 9608 9025 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 275481542 937435136 9070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9615] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9615/stat : 9615 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275481542 937435136 9070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9616] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9616/stat : 9616 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481542 937435136 9070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 915464
[startup+162.478 s]
/proc/loadavg: 1.99 1.97 1.97 3/80 9653
/proc/meminfo: memFree=1402176/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=162.25
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 9345 0 1 0 15850 375 0 0 25 0 8 0 275481531 937435136 9076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887542 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 915464
[startup+2084.27 s]
/proc/loadavg: 2.02 2.02 2.00 3/86 9811
/proc/meminfo: memFree=1400584/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=2082.03
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 9363 0 1 0 207820 383 0 0 25 0 8 0 275481531 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846229 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228866 9093 2532 14 0 215336 0
[pid=9608/tid=9610] ppid=9599 vsize=915464 CPUtime=0.03
/proc/9608/task/9610/stat : 9610 (java) S 9599 9608 9025 0 -1 64 282 0 0 0 3 0 0 0 16 0 8 0 275481537 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9611] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9611/stat : 9611 (java) S 9599 9608 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481538 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9612] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9612/stat : 9612 (java) S 9599 9608 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481538 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9613] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9613/stat : 9613 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9614] ppid=9599 vsize=915464 CPUtime=0.26
/proc/9608/task/9614/stat : 9614 (java) S 9599 9608 9025 0 -1 64 421 0 0 0 25 1 0 0 16 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9615] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9615/stat : 9615 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9616] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9616/stat : 9616 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082.03
Current children cumulated vsize (KiB) 915464
[startup+2144.34 s]
/proc/loadavg: 2.06 2.03 2.00 3/80 9851
/proc/meminfo: memFree=1401600/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=2142.04
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 9363 0 1 0 213818 386 0 0 25 0 8 0 275481531 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073866402 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228866 9093 2532 14 0 215336 0
[pid=9608/tid=9610] ppid=9599 vsize=915464 CPUtime=0.03
/proc/9608/task/9610/stat : 9610 (java) S 9599 9608 9025 0 -1 64 282 0 0 0 3 0 0 0 16 0 8 0 275481537 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9611] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9611/stat : 9611 (java) S 9599 9608 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481538 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9612] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9612/stat : 9612 (java) S 9599 9608 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481538 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9613] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9613/stat : 9613 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9614] ppid=9599 vsize=915464 CPUtime=0.26
/proc/9608/task/9614/stat : 9614 (java) S 9599 9608 9025 0 -1 64 421 0 0 0 25 1 0 0 16 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9615] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9615/stat : 9615 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9616] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9616/stat : 9616 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.04
Current children cumulated vsize (KiB) 915464
[startup+2204.39 s]
/proc/loadavg: 2.06 2.04 2.00 3/80 9851
/proc/meminfo: memFree=1401600/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=2202.05
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 9363 0 1 0 219819 386 0 0 25 0 8 0 275481531 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228866 9093 2532 14 0 215336 0
[pid=9608/tid=9610] ppid=9599 vsize=915464 CPUtime=0.03
/proc/9608/task/9610/stat : 9610 (java) S 9599 9608 9025 0 -1 64 282 0 0 0 3 0 0 0 16 0 8 0 275481537 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9611] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9611/stat : 9611 (java) S 9599 9608 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481538 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9612] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9612/stat : 9612 (java) S 9599 9608 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481538 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9613] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9613/stat : 9613 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9614] ppid=9599 vsize=915464 CPUtime=0.26
/proc/9608/task/9614/stat : 9614 (java) S 9599 9608 9025 0 -1 64 421 0 0 0 25 1 0 0 16 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9615] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9615/stat : 9615 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9616] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9616/stat : 9616 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 915464
[startup+2264.44 s]
/proc/loadavg: 2.02 2.03 2.00 3/80 9851
/proc/meminfo: memFree=1401600/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=2262.01
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 9363 0 1 0 225815 386 0 0 25 0 8 0 275481531 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228866 9093 2532 14 0 215336 0
[pid=9608/tid=9610] ppid=9599 vsize=915464 CPUtime=0.03
/proc/9608/task/9610/stat : 9610 (java) S 9599 9608 9025 0 -1 64 282 0 0 0 3 0 0 0 16 0 8 0 275481537 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9611] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9611/stat : 9611 (java) S 9599 9608 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481538 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9612] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9612/stat : 9612 (java) S 9599 9608 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481538 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9613] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9613/stat : 9613 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9614] ppid=9599 vsize=915464 CPUtime=0.26
/proc/9608/task/9614/stat : 9614 (java) S 9599 9608 9025 0 -1 64 421 0 0 0 25 1 0 0 16 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9615] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9615/stat : 9615 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9616] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9616/stat : 9616 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481542 937435136 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262.01
Current children cumulated vsize (KiB) 915464
[startup+2324.49 s]
/proc/loadavg: 2.00 2.02 2.00 3/80 9851
/proc/meminfo: memFree=1401600/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=2322.01
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 9366 0 1 0 231815 386 0 0 25 0 8 0 275481531 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887565 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228866 9096 2532 14 0 215336 0
[pid=9608/tid=9610] ppid=9599 vsize=915464 CPUtime=0.03
/proc/9608/task/9610/stat : 9610 (java) S 9599 9608 9025 0 -1 64 282 0 0 0 3 0 0 0 16 0 8 0 275481537 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9611] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9611/stat : 9611 (java) S 9599 9608 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481538 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9612] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9612/stat : 9612 (java) S 9599 9608 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481538 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9613] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9613/stat : 9613 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275481542 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9614] ppid=9599 vsize=915464 CPUtime=0.26
/proc/9608/task/9614/stat : 9614 (java) S 9599 9608 9025 0 -1 64 421 0 0 0 25 1 0 0 16 0 8 0 275481542 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9615] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9615/stat : 9615 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275481542 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9616] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9616/stat : 9616 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481542 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322.01
Current children cumulated vsize (KiB) 915464
[startup+2384.55 s]
/proc/loadavg: 2.11 2.05 2.01 3/80 9851
/proc/meminfo: memFree=1401600/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=2382.03
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 9366 0 1 0 237817 386 0 0 25 0 8 0 275481531 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887542 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228866 9096 2532 14 0 215336 0
[pid=9608/tid=9610] ppid=9599 vsize=915464 CPUtime=0.03
/proc/9608/task/9610/stat : 9610 (java) S 9599 9608 9025 0 -1 64 282 0 0 0 3 0 0 0 16 0 8 0 275481537 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9611] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9611/stat : 9611 (java) S 9599 9608 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481538 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9612] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9612/stat : 9612 (java) S 9599 9608 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481538 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9613] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9613/stat : 9613 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275481542 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9614] ppid=9599 vsize=915464 CPUtime=0.26
/proc/9608/task/9614/stat : 9614 (java) S 9599 9608 9025 0 -1 64 421 0 0 0 25 1 0 0 16 0 8 0 275481542 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9615] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9615/stat : 9615 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275481542 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9616] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9616/stat : 9616 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481542 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2382.03
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.66 s]
/proc/loadavg: 2.08 2.04 2.01 3/80 9851
/proc/meminfo: memFree=1401600/2055920 swapFree=4184076/4192956
[pid=9608] ppid=9599 vsize=915464 CPUtime=2400.08
/proc/9608/stat : 9608 (java) R 9599 9608 9025 0 -1 0 9366 0 1 0 239622 386 0 0 25 0 8 0 275481531 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073714683 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9608/statm: 228866 9096 2532 14 0 215336 0
[pid=9608/tid=9610] ppid=9599 vsize=915464 CPUtime=0.03
/proc/9608/task/9610/stat : 9610 (java) S 9599 9608 9025 0 -1 64 282 0 0 0 3 0 0 0 16 0 8 0 275481537 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9611] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9611/stat : 9611 (java) S 9599 9608 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481538 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9612] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9612/stat : 9612 (java) S 9599 9608 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481538 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9613] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9613/stat : 9613 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275481542 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9614] ppid=9599 vsize=915464 CPUtime=0.26
/proc/9608/task/9614/stat : 9614 (java) S 9599 9608 9025 0 -1 64 421 0 0 0 25 1 0 0 16 0 8 0 275481542 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9608/tid=9615] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9615/stat : 9615 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275481542 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9608/tid=9616] ppid=9599 vsize=915464 CPUtime=0
/proc/9608/task/9616/stat : 9616 (java) S 9599 9608 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481542 937435136 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2402.72
CPU time (s): 2400.14
CPU user time (s): 2396.27
CPU system time (s): 3.86941
CPU usage (%): 99.8926
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.27
system time used= 3.86941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9386
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= 49682
involuntary context switches= 13018
runsolver used 2.72758 s user time and 7.72183 s system time
The end
Begin job on node45 on Sat Jan 20 05:27:04 UTC 2007
IDJOB= 277822
IDBENCH= 7690
IDSOLVER= 68
FILE ID= node45/277822-1169270823
PBS_JOBID= 3607317
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-80-1100-2000/cnf-2-80-1600-621041_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277822-1169270823/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-277822-1169270823 -o ROOT/results/node45/solver-277822-1169270823 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277822-1169270823/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ce7ecd57414a9b74c85a155614d4770d
RANDOM SEED= 979215230
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.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1284192 kB
Buffers: 50224 kB
Cached: 483700 kB
SwapCached: 2868 kB
Active: 258972 kB
Inactive: 439308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1284192 kB
SwapTotal: 4192956 kB
SwapFree: 4184076 kB
Dirty: 1852 kB
Writeback: 0 kB
Mapped: 180476 kB
Slab: 58612 kB
Committed_AS: 5568244 kB
PageTables: 2088 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node45 on Sat Jan 20 06:07:08 UTC 2007