0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=pfc.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/277823-1169270824/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.45 => wckTime=0.104 cpuTime=0.08 mem=6M910
0.45
0.45 relations being loaded...
0.46
0.46 constraints being loaded...
0.64 nbConstraints=1258 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=1244
0.64 nbConflictsStructures=14 nbSharedConflictsStructures=1244 nbSharedBinaryRepresentations=52 maxDegree=45
0.64 maxArity=2
0.64 => wckTime=0.294 cpuTime=0.21 mem=10M844
0.69
0.69 solver LocalSearchSolver being built...
0.73 => wckTime=0.382 cpuTime=0.26 mem=6M18
0.73
0.73 s SATISFIABLE
0.73 o 903
0.73 c 355
0.74 o 909
0.74 c 349
0.74 o 918
0.74 c 340
0.74 o 925
0.74 c 333
0.74 o 933
0.74 c 325
0.74 o 940
0.74 c 318
0.74 o 943
0.74 c 315
0.74 o 947
0.74 c 311
0.74 o 950
0.74 c 308
0.74 o 954
0.74 c 304
0.75 o 957
0.75 c 301
0.75 o 958
0.75 c 300
0.75 o 960
0.75 c 298
0.75 o 962
0.75 c 296
0.75 o 966
0.75 c 292
0.75 o 970
0.75 c 288
0.75 o 971
0.75 c 287
0.76 o 973
0.76 c 285
0.76 o 976
0.76 c 282
0.76 o 977
0.76 c 281
0.76 o 981
0.76 c 277
0.76 o 985
0.76 c 273
0.82 o 987
0.82 c 271
0.82 o 990
0.82 c 268
0.82 o 991
0.82 c 267
0.82 o 993
0.82 c 265
0.82 o 997
0.82 c 261
0.83 o 999
0.83 c 259
0.83 o 1003
0.83 c 255
0.83 o 1004
0.83 c 254
1.30 o 1006
1.30 c 252
1.30 o 1010
1.30 c 248
1.30 o 1013
1.30 c 245
1.30 o 1015
1.30 c 243
1.31 o 1016
1.31 c 242
1.51 o 1018
1.51 c 240
1.52 o 1019
1.52 c 239
3.93 o 1020
3.93 c 238
3.93 o 1021
3.93 c 237
3.95 o 1022
3.95 c 236
4.37
4.37 search
4.37 run=0 nbConstraintChecks=17379588 nbAssignments=10000
4.37 => wckTime=3.646 cpuTime=3.6 mem=6M18
8.07
8.07 search
8.07 run=1 nbConstraintChecks=35403368 nbAssignments=20000
8.07 => wckTime=7.343 cpuTime=7.27 mem=6M18
11.66
11.66 search
11.66 run=2 nbConstraintChecks=52774734 nbAssignments=30000
11.66 => wckTime=10.93 cpuTime=10.84 mem=6M18
15.11
15.11 search
15.11 run=3 nbConstraintChecks=70812344 nbAssignments=40000
15.11 => wckTime=14.382 cpuTime=14.29 mem=6M18
18.41
18.41 search
18.41 run=4 nbConstraintChecks=88201549 nbAssignments=50000
18.41 => wckTime=17.682 cpuTime=17.59 mem=6M18
21.81
21.81 search
21.81 run=5 nbConstraintChecks=106237320 nbAssignments=60000
21.81 => wckTime=21.08 cpuTime=20.99 mem=6M18
25.09
25.09 search
25.09 run=6 nbConstraintChecks=123642768 nbAssignments=70000
25.09 => wckTime=24.36 cpuTime=24.26 mem=6M18
28.45
28.45 search
28.45 run=7 nbConstraintChecks=141681193 nbAssignments=80000
28.45 => wckTime=27.721 cpuTime=27.63 mem=6M18
31.71
31.71 search
31.71 run=8 nbConstraintChecks=159048887 nbAssignments=90000
31.71 => wckTime=30.984 cpuTime=30.88 mem=6M18
34.01
34.01 search
34.01 run=9 nbConstraintChecks=171200029 nbAssignments=96733
34.01 => wckTime=33.286 cpuTime=33.18 mem=6M18
34.01
34.01 global
34.01 nbConstraintChecks=171200029 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.01 solvingWckTime=33.283 solvingCpuTime=33.18 expiredTime=no totalExploration=no nbFoundSolutions=0
34.01 globalCpuTime=33.48
34.01 => wckTime=33.668 cpuTime=33.44 mem=6M18
34.01
34.01 solver IterativeSystematicSolver being built...
34.15 => wckTime=33.804 cpuTime=33.55 mem=17M56
34.16
34.16 preprocessing
34.16 nbConstraintChecks=340 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
34.16 detectedInconsistency=no
34.16 => wckTime=0.011 cpuTime=0.0 mem=17M56
34.26
34.26 search
34.26 run=0 nbConstraintChecks=111077 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=56
34.26 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=72 nbRestartNogoods=0
34.26 => wckTime=0.109 cpuTime=0.08 mem=17M56
34.34
34.34 search
34.34 run=1 nbConstraintChecks=246815 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=118
34.34 nbFailedAssignments=15 nbBacktracks=25 nbVisitedNodes=159 nbRestartNogoods=1
34.34 => wckTime=0.189 cpuTime=0.15 mem=17M56
34.43
34.43 search
34.43 run=2 nbConstraintChecks=431046 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=193
34.43 nbFailedAssignments=25 nbBacktracks=49 nbVisitedNodes=268 nbRestartNogoods=5
34.43 => wckTime=0.28 cpuTime=0.24 mem=18M31
34.56
34.56 search
34.56 run=3 nbConstraintChecks=690295 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=288
34.56 nbFailedAssignments=47 nbBacktracks=82 nbVisitedNodes=418 nbRestartNogoods=7
34.56 => wckTime=0.411 cpuTime=0.37 mem=18M31
34.71
34.71 search
34.71 run=4 nbConstraintChecks=1016436 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=402
34.71 nbFailedAssignments=71 nbBacktracks=132 nbVisitedNodes=606 nbRestartNogoods=12
34.71 => wckTime=0.563 cpuTime=0.52 mem=18M31
34.95
34.95 search
34.95 run=5 nbConstraintChecks=1543020 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=568
34.95 nbFailedAssignments=120 nbBacktracks=208 nbVisitedNodes=897 nbRestartNogoods=14
34.95 => wckTime=0.801 cpuTime=0.76 mem=18M31
35.30
35.30 search
35.30 run=6 nbConstraintChecks=2292734 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=792
35.30 nbFailedAssignments=192 nbBacktracks=322 nbVisitedNodes=1307 nbRestartNogoods=17
35.30 => wckTime=1.152 cpuTime=1.1 mem=18M31
35.79
35.79 search
35.79 run=7 nbConstraintChecks=3317617 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1091
35.79 nbFailedAssignments=282 nbBacktracks=492 nbVisitedNodes=1866 nbRestartNogoods=20
35.79 => wckTime=1.634 cpuTime=1.58 mem=18M31
36.64
36.64 search
36.64 run=8 nbConstraintChecks=4947590 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1543
36.64 nbFailedAssignments=440 nbBacktracks=748 nbVisitedNodes=2732 nbRestartNogoods=22
36.64 => wckTime=2.485 cpuTime=2.42 mem=18M31
37.75
37.75 search
37.75 run=9 nbConstraintChecks=7285632 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2189
37.75 nbFailedAssignments=662 nbBacktracks=1134 nbVisitedNodes=3986 nbRestartNogoods=26
37.75 => wckTime=3.598 cpuTime=3.52 mem=18M31
39.54
39.54 search
39.54 run=10 nbConstraintChecks=11123726 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3229
39.54 nbFailedAssignments=1090 nbBacktracks=1711 nbVisitedNodes=6031 nbRestartNogoods=29
39.54 => wckTime=5.39 cpuTime=5.31 mem=18M31
41.95
41.95 search
41.95 run=11 nbConstraintChecks=16508864 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4678
41.95 nbFailedAssignments=1640 nbBacktracks=2575 nbVisitedNodes=8894 nbRestartNogoods=35
41.95 => wckTime=7.801 cpuTime=7.72 mem=18M31
46.21
46.21 search
46.21 run=12 nbConstraintChecks=25578491 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7073
46.21 nbFailedAssignments=2702 nbBacktracks=3872 nbVisitedNodes=13648 nbRestartNogoods=39
46.21 => wckTime=12.059 cpuTime=11.97 mem=18M31
51.60
51.60 search
51.60 run=13 nbConstraintChecks=37330168 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10192
51.60 nbFailedAssignments=3840 nbBacktracks=5818 nbVisitedNodes=19851 nbRestartNogoods=45
51.60 => wckTime=17.448 cpuTime=17.36 mem=18M31
60.01
60.01 search
60.01 run=14 nbConstraintChecks=55334613 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15000
60.01 nbFailedAssignments=5698 nbBacktracks=8738 nbVisitedNodes=29437 nbRestartNogoods=50
60.01 => wckTime=25.858 cpuTime=25.77 mem=18M31
72.63
72.63 search
72.63 run=15 nbConstraintChecks=81965873 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22218
72.63 nbFailedAssignments=8505 nbBacktracks=13117 nbVisitedNodes=43841 nbRestartNogoods=56
72.63 => wckTime=38.476 cpuTime=38.39 mem=18M31
91.44
91.44 search
91.44 run=16 nbConstraintChecks=123452978 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33134
91.44 nbFailedAssignments=12821 nbBacktracks=19685 nbVisitedNodes=65640 nbRestartNogoods=64
91.44 => wckTime=57.287 cpuTime=57.16 mem=18M31
123.77
123.77 search
123.77 run=17 nbConstraintChecks=190666847 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50856
123.77 nbFailedAssignments=20659 nbBacktracks=29537 nbVisitedNodes=101052 nbRestartNogoods=70
123.77 => wckTime=89.618 cpuTime=89.48 mem=18M31
169.78
169.78 search
169.78 run=18 nbConstraintChecks=283786566 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=74965
169.78 nbFailedAssignments=29957 nbBacktracks=44318 nbVisitedNodes=149240 nbRestartNogoods=75
169.78 => wckTime=135.624 cpuTime=135.42 mem=18M31
235.73
235.73 search
235.73 run=19 nbConstraintChecks=416375363 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=110934
235.73 nbFailedAssignments=43730 nbBacktracks=66486 nbVisitedNodes=221097 nbRestartNogoods=79
235.73 => wckTime=201.576 cpuTime=201.3 mem=18M31
335.78
335.78 search
335.78 run=20 nbConstraintChecks=617346921 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=164264
335.78 nbFailedAssignments=63777 nbBacktracks=99740 nbVisitedNodes=327728 nbRestartNogoods=86
335.78 => wckTime=301.624 cpuTime=301.26 mem=18M31
496.65
496.65 search
496.65 run=21 nbConstraintChecks=925119621 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=246655
496.65 nbFailedAssignments=96260 nbBacktracks=149619 nbVisitedNodes=492476 nbRestartNogoods=95
496.65 => wckTime=462.503 cpuTime=461.97 mem=18M31
719.13
719.13 search
719.13 run=22 nbConstraintChecks=1367819074 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=366208
719.13 nbFailedAssignments=140968 nbBacktracks=224437 nbVisitedNodes=731543 nbRestartNogoods=102
719.13 => wckTime=684.979 cpuTime=684.23 mem=18M31
1055.19
1055.20 search
1055.20 run=23 nbConstraintChecks=2033321532 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=546265
1055.20 nbFailedAssignments=208770 nbBacktracks=336664 nbVisitedNodes=1091578 nbRestartNogoods=112
1055.20 => wckTime=1021.043 cpuTime=1019.97 mem=18M31
1600.10
1600.10 search
1600.10 run=24 nbConstraintChecks=3037995010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=823871
1600.10 nbFailedAssignments=318006 nbBacktracks=505005 nbVisitedNodes=1639884 nbRestartNogoods=119
1600.10 => wckTime=1565.95 cpuTime=1564.35 mem=18M31
2371.37
2371.37 search
2371.37 run=25 nbConstraintChecks=4553249286 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1240913
2371.37 nbFailedAssignments=482505 nbBacktracks=757516 nbVisitedNodes=2472283 nbRestartNogoods=129
2371.37 => wckTime=2337.214 cpuTime=2334.8 mem=18M31
2402.54 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/node35/watcher-277823-1169270824 -o ROOT/results/node35/solver-277823-1169270824 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277823-1169270824/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.98 4/80 24831
/proc/meminfo: memFree=1246736/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=18540 CPUtime=0
/proc/24830/stat : 24830 (runsolver) R 24828 24830 24244 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 275476220 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266134416679 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24830/statm: 4635 279 244 17 0 2626 0
[startup+0.107665 s]
/proc/loadavg: 1.92 1.98 1.98 4/80 24831
/proc/meminfo: memFree=1246736/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=911488 CPUtime=0.06
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 2592 0 1 0 5 1 0 0 20 0 8 0 275476220 933363712 2339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153804635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24830/statm: 227872 2339 1273 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.515715 s]
/proc/loadavg: 1.92 1.98 1.98 4/80 24831
/proc/meminfo: memFree=1246736/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=915332 CPUtime=0.46
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 6158 0 1 0 43 3 0 0 18 0 8 0 275476220 937299968 5897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24830/statm: 228833 5897 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.33781 s]
/proc/loadavg: 1.92 1.98 1.98 3/87 24838
/proc/meminfo: memFree=1226584/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=915464 CPUtime=1.27
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 7722 0 1 0 117 10 0 0 25 0 8 0 275476220 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073718710 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24830/statm: 228866 7460 2476 14 0 215336 0
[pid=24830/tid=24832] ppid=24828 vsize=915464 CPUtime=0.03
/proc/24830/task/24832/stat : 24832 (java) S 24828 24830 24244 0 -1 64 282 0 0 0 3 0 0 0 16 0 8 0 275476226 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24833] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24833/stat : 24833 (java) S 24828 24830 24244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275476227 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24834] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24834/stat : 24834 (java) S 24828 24830 24244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275476227 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24835] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24835/stat : 24835 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275476230 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24836] ppid=24828 vsize=915464 CPUtime=0.14
/proc/24830/task/24836/stat : 24836 (java) S 24828 24830 24244 0 -1 64 344 0 0 0 14 0 0 0 16 0 8 0 275476230 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24837] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24837/stat : 24837 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275476230 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24838] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24838/stat : 24838 (java) S 24828 24830 24244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275476230 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915464
[startup+2.99001 s]
/proc/loadavg: 1.92 1.98 1.98 3/87 24838
/proc/meminfo: memFree=1226520/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=915464 CPUtime=2.92
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 7723 0 1 0 263 29 0 0 25 0 8 0 275476220 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073710124 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24830/statm: 228866 7460 2476 14 0 215336 0
[pid=24830/tid=24832] ppid=24828 vsize=915464 CPUtime=0.03
/proc/24830/task/24832/stat : 24832 (java) S 24828 24830 24244 0 -1 64 282 0 0 0 3 0 0 0 16 0 8 0 275476226 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24833] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24833/stat : 24833 (java) S 24828 24830 24244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275476227 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24834] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24834/stat : 24834 (java) S 24828 24830 24244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275476227 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24835] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24835/stat : 24835 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275476230 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24836] ppid=24828 vsize=915464 CPUtime=0.14
/proc/24830/task/24836/stat : 24836 (java) S 24828 24830 24244 0 -1 64 344 0 0 0 14 0 0 0 16 0 8 0 275476230 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24837] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24837/stat : 24837 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275476230 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24838] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24838/stat : 24838 (java) S 24828 24830 24244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275476230 937435136 7460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464
[startup+6.28641 s]
/proc/loadavg: 1.93 1.98 1.98 3/87 24838
/proc/meminfo: memFree=1226456/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=915464 CPUtime=6.2
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 7726 0 1 0 555 65 0 0 25 0 8 0 275476220 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073711930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24830/statm: 228866 7463 2476 14 0 215336 0
[pid=24830/tid=24832] ppid=24828 vsize=915464 CPUtime=0.03
/proc/24830/task/24832/stat : 24832 (java) S 24828 24830 24244 0 -1 64 282 0 0 0 3 0 0 0 16 0 8 0 275476226 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24833] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24833/stat : 24833 (java) S 24828 24830 24244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275476227 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24834] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24834/stat : 24834 (java) S 24828 24830 24244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275476227 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24835] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24835/stat : 24835 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275476230 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24836] ppid=24828 vsize=915464 CPUtime=0.14
/proc/24830/task/24836/stat : 24836 (java) S 24828 24830 24244 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 275476230 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24837] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24837/stat : 24837 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275476230 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24838] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24838/stat : 24838 (java) S 24828 24830 24244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275476230 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915464
[startup+12.7662 s]
/proc/loadavg: 1.93 1.98 1.98 2/75 24841
/proc/meminfo: memFree=1378808/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=915464 CPUtime=12.65
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 7726 0 1 0 1131 134 0 0 24 0 8 0 275476220 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24830/statm: 228866 7463 2476 14 0 215336 0
[pid=24830/tid=24832] ppid=24828 vsize=915464 CPUtime=0.03
/proc/24830/task/24832/stat : 24832 (java) S 24828 24830 24244 0 -1 64 282 0 0 0 3 0 0 0 16 0 8 0 275476226 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24833] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24833/stat : 24833 (java) S 24828 24830 24244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275476227 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24834] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24834/stat : 24834 (java) S 24828 24830 24244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275476227 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24835] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24835/stat : 24835 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275476230 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24836] ppid=24828 vsize=915464 CPUtime=0.14
/proc/24830/task/24836/stat : 24836 (java) S 24828 24830 24244 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 275476230 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24837] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24837/stat : 24837 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275476230 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24838] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24838/stat : 24838 (java) S 24828 24830 24244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275476230 937435136 7463 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+25.6057 s]
/proc/loadavg: 1.72 1.93 1.97 2/75 24853
/proc/meminfo: memFree=1380408/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=915464 CPUtime=25.48
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 7726 0 1 0 2269 279 0 0 25 0 8 0 275476220 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24830/statm: 228866 7463 2476 14 0 215336 0
[pid=24830/tid=24832] ppid=24828 vsize=915464 CPUtime=0.03
/proc/24830/task/24832/stat : 24832 (java) S 24828 24830 24244 0 -1 64 282 0 0 0 3 0 0 0 16 0 8 0 275476226 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24833] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24833/stat : 24833 (java) S 24828 24830 24244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275476227 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24834] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24834/stat : 24834 (java) S 24828 24830 24244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275476227 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24835] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24835/stat : 24835 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275476230 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24836] ppid=24828 vsize=915464 CPUtime=0.14
/proc/24830/task/24836/stat : 24836 (java) S 24828 24830 24244 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 275476230 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24837] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24837/stat : 24837 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275476230 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24838] ppid=24828 vsize=915464 CPUtime=0
/proc/24830/task/24838/stat : 24838 (java) S 24828 24830 24244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275476230 937435136 7463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915464
[startup+51.2099 s]
/proc/loadavg: 1.70 1.91 1.95 3/81 24916
/proc/meminfo: memFree=1369416/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=916488 CPUtime=51.08
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 9321 0 1 0 4725 383 0 0 25 0 8 0 275476220 938483712 9053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851205 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24830/statm: 229122 9053 2527 14 0 215592 0
[pid=24830/tid=24832] ppid=24828 vsize=916488 CPUtime=0.03
/proc/24830/task/24832/stat : 24832 (java) S 24828 24830 24244 0 -1 64 283 0 0 0 3 0 0 0 16 0 8 0 275476226 938483712 9053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24833] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24833/stat : 24833 (java) S 24828 24830 24244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275476227 938483712 9053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24834] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24834/stat : 24834 (java) S 24828 24830 24244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275476227 938483712 9053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24835] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24835/stat : 24835 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275476230 938483712 9053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24836] ppid=24828 vsize=916488 CPUtime=0.26
/proc/24830/task/24836/stat : 24836 (java) S 24828 24830 24244 0 -1 64 409 0 0 0 25 1 0 0 17 0 8 0 275476230 938483712 9053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24837] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24837/stat : 24837 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275476230 938483712 9053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24838] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24838/stat : 24838 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275476230 938483712 9053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 916488
[startup+102.415 s]
/proc/loadavg: 1.87 1.92 1.95 3/81 24916
/proc/meminfo: memFree=1369544/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=916488 CPUtime=102.23
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 9337 0 1 0 9840 383 0 0 25 0 8 0 275476220 938483712 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853468 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24830/statm: 229122 9069 2527 14 0 215592 0
[pid=24830/tid=24832] ppid=24828 vsize=916488 CPUtime=0.03
/proc/24830/task/24832/stat : 24832 (java) S 24828 24830 24244 0 -1 64 283 0 0 0 3 0 0 0 16 0 8 0 275476226 938483712 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24833] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24833/stat : 24833 (java) S 24828 24830 24244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275476227 938483712 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24834] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24834/stat : 24834 (java) S 24828 24830 24244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275476227 938483712 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24835] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24835/stat : 24835 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275476230 938483712 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24836] ppid=24828 vsize=916488 CPUtime=0.26
/proc/24830/task/24836/stat : 24836 (java) S 24828 24830 24244 0 -1 64 415 0 0 0 25 1 0 0 16 0 8 0 275476230 938483712 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24837] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24837/stat : 24837 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275476230 938483712 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24838] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24838/stat : 24838 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275476230 938483712 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 916488
[startup+162.464 s]
/proc/loadavg: 1.95 1.93 1.95 3/81 24916
/proc/meminfo: memFree=1369480/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=916488 CPUtime=162.23
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 9343 0 1 0 15840 383 0 0 25 0 8 0 275476220 938483712 9075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846281 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2021.96
Current children cumulated vsize (KiB) 916488
[startup+2084.1 s]
/proc/loadavg: 2.00 2.00 1.98 3/87 25074
/proc/meminfo: memFree=1367944/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=916488 CPUtime=2081.92
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 9362 0 1 0 207796 396 0 0 25 0 8 0 275476220 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851273 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24830/statm: 229122 9093 2527 14 0 215592 0
[pid=24830/tid=24832] ppid=24828 vsize=916488 CPUtime=0.03
/proc/24830/task/24832/stat : 24832 (java) S 24828 24830 24244 0 -1 64 283 0 0 0 3 0 0 0 16 0 8 0 275476226 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24833] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24833/stat : 24833 (java) S 24828 24830 24244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275476227 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24834] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24834/stat : 24834 (java) S 24828 24830 24244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275476227 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24835] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24835/stat : 24835 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24836] ppid=24828 vsize=916488 CPUtime=0.27
/proc/24830/task/24836/stat : 24836 (java) S 24828 24830 24244 0 -1 64 420 0 0 0 26 1 0 0 16 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24837] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24837/stat : 24837 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24838] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24838/stat : 24838 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2081.92
Current children cumulated vsize (KiB) 916488
[startup+2144.16 s]
/proc/loadavg: 2.00 2.00 1.98 3/81 25114
/proc/meminfo: memFree=1368968/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=916488 CPUtime=2141.92
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 9362 0 1 0 213794 398 0 0 25 0 8 0 275476220 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24830/statm: 229122 9093 2527 14 0 215592 0
[pid=24830/tid=24832] ppid=24828 vsize=916488 CPUtime=0.03
/proc/24830/task/24832/stat : 24832 (java) S 24828 24830 24244 0 -1 64 283 0 0 0 3 0 0 0 16 0 8 0 275476226 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24833] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24833/stat : 24833 (java) S 24828 24830 24244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275476227 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24834] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24834/stat : 24834 (java) S 24828 24830 24244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275476227 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24835] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24835/stat : 24835 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24836] ppid=24828 vsize=916488 CPUtime=0.27
/proc/24830/task/24836/stat : 24836 (java) S 24828 24830 24244 0 -1 64 420 0 0 0 26 1 0 0 16 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24837] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24837/stat : 24837 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24838] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24838/stat : 24838 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2141.92
Current children cumulated vsize (KiB) 916488
[startup+2204.2 s]
/proc/loadavg: 2.00 2.00 1.98 3/81 25114
/proc/meminfo: memFree=1368968/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=916488 CPUtime=2201.89
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 9362 0 1 0 219791 398 0 0 25 0 8 0 275476220 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853439 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24830/statm: 229122 9093 2527 14 0 215592 0
[pid=24830/tid=24832] ppid=24828 vsize=916488 CPUtime=0.03
/proc/24830/task/24832/stat : 24832 (java) S 24828 24830 24244 0 -1 64 283 0 0 0 3 0 0 0 16 0 8 0 275476226 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24833] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24833/stat : 24833 (java) S 24828 24830 24244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275476227 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24834] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24834/stat : 24834 (java) S 24828 24830 24244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275476227 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24835] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24835/stat : 24835 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24836] ppid=24828 vsize=916488 CPUtime=0.27
/proc/24830/task/24836/stat : 24836 (java) S 24828 24830 24244 0 -1 64 420 0 0 0 26 1 0 0 16 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24837] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24837/stat : 24837 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24838] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24838/stat : 24838 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2201.89
Current children cumulated vsize (KiB) 916488
[startup+2264.25 s]
/proc/loadavg: 2.00 2.00 1.98 3/81 25114
/proc/meminfo: memFree=1368968/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=916488 CPUtime=2261.88
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 9362 0 1 0 225790 398 0 0 25 0 8 0 275476220 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846333 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24830/statm: 229122 9093 2527 14 0 215592 0
[pid=24830/tid=24832] ppid=24828 vsize=916488 CPUtime=0.03
/proc/24830/task/24832/stat : 24832 (java) S 24828 24830 24244 0 -1 64 283 0 0 0 3 0 0 0 16 0 8 0 275476226 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24833] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24833/stat : 24833 (java) S 24828 24830 24244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275476227 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24834] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24834/stat : 24834 (java) S 24828 24830 24244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275476227 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24835] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24835/stat : 24835 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24836] ppid=24828 vsize=916488 CPUtime=0.27
/proc/24830/task/24836/stat : 24836 (java) S 24828 24830 24244 0 -1 64 420 0 0 0 26 1 0 0 16 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24837] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24837/stat : 24837 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24838] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24838/stat : 24838 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2261.88
Current children cumulated vsize (KiB) 916488
[startup+2324.29 s]
/proc/loadavg: 2.00 2.00 1.98 3/81 25114
/proc/meminfo: memFree=1368968/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=916488 CPUtime=2321.88
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 9362 0 1 0 231790 398 0 0 25 0 8 0 275476220 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073882232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24830/statm: 229122 9093 2527 14 0 215592 0
[pid=24830/tid=24832] ppid=24828 vsize=916488 CPUtime=0.03
/proc/24830/task/24832/stat : 24832 (java) S 24828 24830 24244 0 -1 64 283 0 0 0 3 0 0 0 16 0 8 0 275476226 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24833] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24833/stat : 24833 (java) S 24828 24830 24244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275476227 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24834] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24834/stat : 24834 (java) S 24828 24830 24244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275476227 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24835] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24835/stat : 24835 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24836] ppid=24828 vsize=916488 CPUtime=0.27
/proc/24830/task/24836/stat : 24836 (java) S 24828 24830 24244 0 -1 64 420 0 0 0 26 1 0 0 16 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24837] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24837/stat : 24837 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24838] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24838/stat : 24838 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275476230 938483712 9093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2321.88
Current children cumulated vsize (KiB) 916488
[startup+2384.34 s]
/proc/loadavg: 2.00 2.00 1.98 3/81 25114
/proc/meminfo: memFree=1368968/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=916488 CPUtime=2381.84
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 9365 0 1 0 237786 398 0 0 25 0 8 0 275476220 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867383 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24830/statm: 229122 9096 2527 14 0 215592 0
[pid=24830/tid=24832] ppid=24828 vsize=916488 CPUtime=0.03
/proc/24830/task/24832/stat : 24832 (java) S 24828 24830 24244 0 -1 64 283 0 0 0 3 0 0 0 16 0 8 0 275476226 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24833] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24833/stat : 24833 (java) S 24828 24830 24244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275476227 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24834] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24834/stat : 24834 (java) S 24828 24830 24244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275476227 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24835] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24835/stat : 24835 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275476230 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24836] ppid=24828 vsize=916488 CPUtime=0.27
/proc/24830/task/24836/stat : 24836 (java) S 24828 24830 24244 0 -1 64 420 0 0 0 26 1 0 0 16 0 8 0 275476230 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24837] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24837/stat : 24837 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275476230 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24838] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24838/stat : 24838 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275476230 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2381.84
Current children cumulated vsize (KiB) 916488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.54 s]
/proc/loadavg: 2.00 2.00 1.98 4/81 25114
/proc/meminfo: memFree=1368968/2055920 swapFree=4184640/4192956
[pid=24830] ppid=24828 vsize=916488 CPUtime=2400.04
/proc/24830/stat : 24830 (java) R 24828 24830 24244 0 -1 0 9365 0 1 0 239606 398 0 0 25 0 8 0 275476220 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851189 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24830/statm: 229122 9096 2527 14 0 215592 0
[pid=24830/tid=24832] ppid=24828 vsize=916488 CPUtime=0.03
/proc/24830/task/24832/stat : 24832 (java) S 24828 24830 24244 0 -1 64 283 0 0 0 3 0 0 0 16 0 8 0 275476226 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24833] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24833/stat : 24833 (java) S 24828 24830 24244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275476227 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24834] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24834/stat : 24834 (java) S 24828 24830 24244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275476227 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24835] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24835/stat : 24835 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275476230 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24836] ppid=24828 vsize=916488 CPUtime=0.27
/proc/24830/task/24836/stat : 24836 (java) S 24828 24830 24244 0 -1 64 420 0 0 0 26 1 0 0 16 0 8 0 275476230 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24830/tid=24837] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24837/stat : 24837 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275476230 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24830/tid=24838] ppid=24828 vsize=916488 CPUtime=0
/proc/24830/task/24838/stat : 24838 (java) S 24828 24830 24244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275476230 938483712 9096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 916488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2402.61
CPU time (s): 2400.12
CPU user time (s): 2396.12
CPU system time (s): 3.99439
CPU usage (%): 99.8962
Max. virtual memory (cumulated for all children) (KiB): 916492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.12
system time used= 3.99439
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= 49765
involuntary context switches= 13509
runsolver used 2.30065 s user time and 8.34473 s system time
The end
Begin job on node35 on Sat Jan 20 05:27:06 UTC 2007
IDJOB= 277823
IDBENCH= 7690
IDSOLVER= 69
FILE ID= node35/277823-1169270824
PBS_JOBID= 3607340
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
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 pfc.xml 1 XSax /tmp/evaluation/277823-1169270824/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-277823-1169270824 -o ROOT/results/node35/solver-277823-1169270824 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277823-1169270824/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ce7ecd57414a9b74c85a155614d4770d
RANDOM SEED= 228931144
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.234
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.234
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: 1247216 kB
Buffers: 35500 kB
Cached: 538548 kB
SwapCached: 2184 kB
Active: 258348 kB
Inactive: 483036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1247216 kB
SwapTotal: 4192956 kB
SwapFree: 4184640 kB
Dirty: 1772 kB
Writeback: 0 kB
Mapped: 184356 kB
Slab: 52376 kB
Committed_AS: 5997772 kB
PageTables: 2124 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= 66560 MiB
End job on node35 on Sat Jan 20 06:07:08 UTC 2007