0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/277868-1169270876/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.097 cpuTime=0.09 mem=6M910
0.39
0.39 relations being loaded...
0.39
0.39 constraints being loaded...
0.60 nbConstraints=1485 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=1471
0.60 nbConflictsStructures=14 nbSharedConflictsStructures=1471 nbSharedBinaryRepresentations=52 maxDegree=49
0.60 maxArity=2
0.60 => wckTime=0.312 cpuTime=0.2 mem=10M827
0.65
0.65 solver LocalSearchSolver being built...
0.68 => wckTime=0.394 cpuTime=0.24 mem=6M128
0.69
0.69 s SATISFIABLE
0.69 o 1033
0.69 c 452
0.69 o 1039
0.69 c 446
0.69 o 1048
0.69 c 437
0.69 o 1055
0.69 c 430
0.69 o 1062
0.69 c 423
0.70 o 1070
0.70 c 415
0.70 o 1074
0.70 c 411
0.70 o 1083
0.70 c 402
0.70 o 1084
0.70 c 401
0.70 o 1085
0.70 c 400
0.70 o 1089
0.70 c 396
0.70 o 1094
0.70 c 391
0.70 o 1097
0.70 c 388
0.70 o 1102
0.70 c 383
0.70 o 1104
0.70 c 381
0.70 o 1111
0.70 c 374
0.71 o 1114
0.71 c 371
0.71 o 1118
0.71 c 367
0.71 o 1121
0.71 c 364
0.71 o 1126
0.71 c 359
0.71 o 1127
0.71 c 358
0.71 o 1129
0.71 c 356
0.72 o 1131
0.72 c 354
0.78 o 1132
0.78 c 353
0.78 o 1133
0.78 c 352
0.99 o 1135
0.99 c 350
1.00 o 1137
1.00 c 348
1.00 o 1140
1.00 c 345
1.19 o 1142
1.19 c 343
1.19 o 1143
1.19 c 342
1.19 o 1144
1.19 c 341
1.20 o 1145
1.20 c 340
1.20 o 1148
1.20 c 337
2.02 o 1149
2.02 c 336
2.02 o 1150
2.03 c 335
4.50
4.50 search
4.50 run=0 nbConstraintChecks=20507298 nbAssignments=10000
4.50 => wckTime=3.815 cpuTime=3.78 mem=6M128
8.34
8.34 search
8.34 run=1 nbConstraintChecks=41617537 nbAssignments=20000
8.34 => wckTime=7.659 cpuTime=7.62 mem=6M128
10.27 o 1152
10.27 c 333
11.62 o 1154
11.62 c 331
12.14
12.14 search
12.14 run=2 nbConstraintChecks=62128537 nbAssignments=30000
12.14 => wckTime=11.46 cpuTime=11.39 mem=6M128
16.02
16.02 search
16.02 run=3 nbConstraintChecks=83277104 nbAssignments=40000
16.02 => wckTime=15.339 cpuTime=15.27 mem=6M128
19.79
19.79 search
19.79 run=4 nbConstraintChecks=103765884 nbAssignments=50000
19.79 => wckTime=19.113 cpuTime=19.04 mem=6M128
23.64
23.64 search
23.64 run=5 nbConstraintChecks=124881656 nbAssignments=60000
23.64 => wckTime=22.955 cpuTime=22.88 mem=6M128
27.39
27.39 search
27.39 run=6 nbConstraintChecks=145384781 nbAssignments=70000
27.39 => wckTime=26.707 cpuTime=26.64 mem=6M128
31.25
31.25 search
31.25 run=7 nbConstraintChecks=166497409 nbAssignments=80000
31.25 => wckTime=30.57 cpuTime=30.5 mem=6M128
35.04
35.04 search
35.04 run=8 nbConstraintChecks=187018980 nbAssignments=90000
35.04 => wckTime=34.359 cpuTime=34.29 mem=6M128
38.92
38.92 search
38.92 run=9 nbConstraintChecks=208143525 nbAssignments=100000
38.92 => wckTime=38.237 cpuTime=38.16 mem=6M128
41.64
41.64 search
41.64 run=10 nbConstraintChecks=222961448 nbAssignments=107300
41.64 => wckTime=40.96 cpuTime=40.89 mem=6M128
41.64
41.64 global
41.64 nbConstraintChecks=222961448 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.64 solvingWckTime=40.959 solvingCpuTime=40.89 expiredTime=no totalExploration=no nbFoundSolutions=0
41.64 globalCpuTime=41.17
41.64 => wckTime=41.355 cpuTime=41.13 mem=6M128
41.64
41.64 solver IterativeSystematicSolver being built...
41.78 => wckTime=41.49 cpuTime=41.22 mem=17M150
41.79
41.79 preprocessing
41.79 nbConstraintChecks=548 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
41.79 detectedInconsistency=no
41.79 => wckTime=0.013 cpuTime=0.01 mem=17M150
41.91
41.91 search
41.91 run=0 nbConstraintChecks=160353 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69
41.91 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=87 nbRestartNogoods=0
41.91 => wckTime=0.124 cpuTime=0.1 mem=18M125
42.01
42.01 search
42.01 run=1 nbConstraintChecks=350103 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=142
42.01 nbFailedAssignments=16 nbBacktracks=26 nbVisitedNodes=185 nbRestartNogoods=2
42.01 => wckTime=0.225 cpuTime=0.19 mem=18M125
42.12
42.12 search
42.12 run=2 nbConstraintChecks=598920 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=227
42.12 nbFailedAssignments=34 nbBacktracks=48 nbVisitedNodes=310 nbRestartNogoods=3
42.12 => wckTime=0.34 cpuTime=0.3 mem=18M125
42.25
42.25 search
42.25 run=3 nbConstraintChecks=918228 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=332
42.25 nbFailedAssignments=54 nbBacktracks=82 nbVisitedNodes=469 nbRestartNogoods=5
42.25 => wckTime=0.471 cpuTime=0.43 mem=18M125
42.44
42.44 search
42.44 run=4 nbConstraintChecks=1323835 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=447
42.44 nbFailedAssignments=82 nbBacktracks=132 nbVisitedNodes=662 nbRestartNogoods=8
42.44 => wckTime=0.663 cpuTime=0.63 mem=18M125
42.66
42.66 search
42.66 run=5 nbConstraintChecks=1863769 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=601
42.66 nbFailedAssignments=111 nbBacktracks=210 nbVisitedNodes=923 nbRestartNogoods=11
42.66 => wckTime=0.883 cpuTime=0.85 mem=18M125
43.08
43.08 search
43.08 run=6 nbConstraintChecks=2771062 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=828
43.08 nbFailedAssignments=188 nbBacktracks=323 nbVisitedNodes=1340 nbRestartNogoods=14
43.08 => wckTime=1.305 cpuTime=1.27 mem=18M125
43.65
43.65 search
43.65 run=7 nbConstraintChecks=4125541 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1161
43.65 nbFailedAssignments=307 nbBacktracks=493 nbVisitedNodes=1962 nbRestartNogoods=17
43.65 => wckTime=1.87 cpuTime=1.84 mem=18M125
44.51
44.51 search
44.51 run=8 nbConstraintChecks=6167532 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1651
44.51 nbFailedAssignments=497 nbBacktracks=750 nbVisitedNodes=2899 nbRestartNogoods=22
44.51 => wckTime=2.729 cpuTime=2.68 mem=18M125
45.56
45.56 search
45.56 run=9 nbConstraintChecks=8813067 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2281
45.56 nbFailedAssignments=696 nbBacktracks=1136 nbVisitedNodes=4114 nbRestartNogoods=27
45.56 => wckTime=3.784 cpuTime=3.72 mem=18M125
47.34
47.34 search
47.34 run=10 nbConstraintChecks=13193934 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3301
47.34 nbFailedAssignments=1097 nbBacktracks=1713 nbVisitedNodes=6112 nbRestartNogoods=31
47.34 => wckTime=5.557 cpuTime=5.49 mem=18M125
50.03
50.03 search
50.03 run=11 nbConstraintChecks=19485478 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4738
50.03 nbFailedAssignments=1627 nbBacktracks=2578 nbVisitedNodes=8944 nbRestartNogoods=35
50.03 => wckTime=8.247 cpuTime=8.18 mem=18M125
54.11
54.11 search
54.11 run=12 nbConstraintChecks=29151893 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6952
54.11 nbFailedAssignments=2497 nbBacktracks=3876 nbVisitedNodes=13326 nbRestartNogoods=37
54.11 => wckTime=12.33 cpuTime=12.23 mem=18M125
60.27
60.27 search
60.27 run=13 nbConstraintChecks=43973723 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10305
60.27 nbFailedAssignments=3856 nbBacktracks=5822 nbVisitedNodes=19984 nbRestartNogoods=39
60.27 => wckTime=18.495 cpuTime=18.39 mem=18M125
70.00
70.00 search
70.00 run=14 nbConstraintChecks=66180704 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15315
70.00 nbFailedAssignments=5908 nbBacktracks=8741 nbVisitedNodes=29965 nbRestartNogoods=44
70.00 => wckTime=28.218 cpuTime=28.12 mem=18M125
85.41
85.41 search
85.41 run=15 nbConstraintChecks=100840378 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23080
85.41 nbFailedAssignments=9255 nbBacktracks=13119 nbVisitedNodes=45455 nbRestartNogoods=49
85.41 => wckTime=43.627 cpuTime=43.52 mem=18M125
108.27
108.27 search
108.27 run=16 nbConstraintChecks=151996720 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34570
108.27 nbFailedAssignments=14140 nbBacktracks=19689 nbVisitedNodes=68400 nbRestartNogoods=53
108.27 => wckTime=66.488 cpuTime=66.34 mem=18M125
141.56
141.56 search
141.56 run=17 nbConstraintChecks=227578688 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=51471
141.56 nbFailedAssignments=21148 nbBacktracks=29542 nbVisitedNodes=102162 nbRestartNogoods=57
141.56 => wckTime=99.778 cpuTime=99.61 mem=18M125
192.83
192.83 search
192.83 run=18 nbConstraintChecks=341607768 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77129
192.83 nbFailedAssignments=31990 nbBacktracks=44320 nbVisitedNodes=153440 nbRestartNogoods=62
192.83 => wckTime=151.048 cpuTime=150.8 mem=18M125
268.30
268.30 search
268.30 run=19 nbConstraintChecks=507038001 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=113724
268.30 nbFailedAssignments=46379 nbBacktracks=66489 nbVisitedNodes=226593 nbRestartNogoods=67
268.30 => wckTime=226.517 cpuTime=225.98 mem=18M125
377.72
377.72 search
377.72 run=20 nbConstraintChecks=754410811 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=169421
377.72 nbFailedAssignments=68779 nbBacktracks=99741 nbVisitedNodes=337942 nbRestartNogoods=73
377.72 => wckTime=335.937 cpuTime=334.88 mem=18M125
543.99
543.99 search
543.99 run=21 nbConstraintChecks=1128401382 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=253722
543.99 nbFailedAssignments=103166 nbBacktracks=149619 nbVisitedNodes=506508 nbRestartNogoods=79
543.99 => wckTime=502.215 cpuTime=500.69 mem=18M125
793.19
793.19 search
793.19 run=22 nbConstraintChecks=1659588664 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=374014
793.19 nbFailedAssignments=148605 nbBacktracks=224438 nbVisitedNodes=747055 nbRestartNogoods=89
793.19 => wckTime=751.409 cpuTime=749.51 mem=18M125
1170.91
1170.91 search
1170.91 run=23 nbConstraintChecks=2494103196 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=564092
1170.91 nbFailedAssignments=226419 nbBacktracks=336665 nbVisitedNodes=1127037 nbRestartNogoods=93
1170.91 => wckTime=1129.128 cpuTime=1126.83 mem=18M125
1724.13
1724.13 search
1724.13 run=24 nbConstraintChecks=3702872021 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=842591
1724.13 nbFailedAssignments=336541 nbBacktracks=505008 nbVisitedNodes=1681451 nbRestartNogoods=100
1724.13 => wckTime=1682.348 cpuTime=1679.45 mem=18M125
2406.76 v 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 1 1 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-277868-1169270876 -o ROOT/results/node26/solver-277868-1169270876 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277868-1169270876/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.95 4/93 5566
/proc/meminfo: memFree=1245216/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=172 CPUtime=0
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 275481885 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12591403 0 0 4096 0 0 0 0 17 0 0 0
/proc/5565/statm: 43 24 18 14 0 3 0
[startup+0.108371 s]
/proc/loadavg: 1.92 1.98 1.95 4/93 5566
/proc/meminfo: memFree=1245216/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=914988 CPUtime=0.09
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 3083 0 1 0 8 1 0 0 24 0 8 0 275481885 936947712 2829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228747 2831 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516662 s]
/proc/loadavg: 1.92 1.98 1.95 4/93 5566
/proc/meminfo: memFree=1245216/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915332 CPUtime=0.5
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 6551 0 1 0 45 5 0 0 25 0 8 0 275481885 937299968 6290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228833 6290 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.34449 s]
/proc/loadavg: 1.92 1.98 1.95 4/100 5573
/proc/meminfo: memFree=1224168/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=1.31
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 7912 0 1 0 119 12 0 0 25 0 8 0 275481885 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228862 7650 2476 14 0 215332 0
[pid=5565/tid=5567] ppid=5563 vsize=915444 CPUtime=0.03
/proc/5565/task/5567/stat : 5567 (java) S 5563 5565 4496 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 275481889 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5568] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5568/stat : 5568 (java) S 5563 5565 4496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481889 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5569] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5569/stat : 5569 (java) S 5563 5565 4496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481889 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5570] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5570/stat : 5570 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275481892 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5571] ppid=5563 vsize=915444 CPUtime=0.17
/proc/5565/task/5571/stat : 5571 (java) S 5563 5565 4496 0 -1 64 368 0 0 0 16 1 0 0 16 0 8 0 275481892 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5572] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5572/stat : 5572 (java) S 5563 5565 4496 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275481892 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5573] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5573/stat : 5573 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481892 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.99603 s]
/proc/loadavg: 1.92 1.98 1.95 3/100 5573
/proc/meminfo: memFree=1224168/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=2.97
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 7913 0 1 0 270 27 0 0 25 0 8 0 275481885 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228861 7650 2476 14 0 215331 0
[pid=5565/tid=5567] ppid=5563 vsize=915444 CPUtime=0.03
/proc/5565/task/5567/stat : 5567 (java) S 5563 5565 4496 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 275481889 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5568] ppid=5563 vsize=915448 CPUtime=0
/proc/5565/task/5568/stat : 5568 (java) S 5563 5565 4496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481889 937418752 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5569] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5569/stat : 5569 (java) S 5563 5565 4496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481889 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5570] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5570/stat : 5570 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275481892 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5571] ppid=5563 vsize=915444 CPUtime=0.17
/proc/5565/task/5571/stat : 5571 (java) S 5563 5565 4496 0 -1 64 368 0 0 0 16 1 0 0 16 0 8 0 275481892 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5572] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5572/stat : 5572 (java) S 5563 5565 4496 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275481892 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5573] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5573/stat : 5573 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481892 937414656 7650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915444
[startup+6.27595 s]
/proc/loadavg: 1.93 1.98 1.95 3/100 5573
/proc/meminfo: memFree=1224040/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=6.24
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 7915 0 1 0 565 59 0 0 25 0 8 0 275481885 937414656 7652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228861 7652 2476 14 0 215331 0
[pid=5565/tid=5567] ppid=5563 vsize=915448 CPUtime=0.03
/proc/5565/task/5567/stat : 5567 (java) S 5563 5565 4496 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 275481889 937418752 7652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5568] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5568/stat : 5568 (java) S 5563 5565 4496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481889 937414656 7652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5569] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5569/stat : 5569 (java) S 5563 5565 4496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481889 937414656 7652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5570] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5570/stat : 5570 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275481892 937414656 7652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5571] ppid=5563 vsize=915444 CPUtime=0.17
/proc/5565/task/5571/stat : 5571 (java) S 5563 5565 4496 0 -1 64 370 0 0 0 16 1 0 0 16 0 8 0 275481892 937414656 7652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5572] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5572/stat : 5572 (java) S 5563 5565 4496 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275481892 937414656 7652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5573] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5573/stat : 5573 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481892 937414656 7652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915444
[startup+12.7636 s]
/proc/loadavg: 1.94 1.98 1.95 3/100 5573
/proc/meminfo: memFree=1224040/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=12.7
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 7916 0 1 0 1145 125 0 0 25 0 8 0 275481885 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228861 7653 2476 14 0 215331 0
[pid=5565/tid=5567] ppid=5563 vsize=915444 CPUtime=0.03
/proc/5565/task/5567/stat : 5567 (java) S 5563 5565 4496 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 275481889 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5568] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5568/stat : 5568 (java) S 5563 5565 4496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481889 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5569] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5569/stat : 5569 (java) S 5563 5565 4496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481889 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5570] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5570/stat : 5570 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275481892 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5571] ppid=5563 vsize=915444 CPUtime=0.17
/proc/5565/task/5571/stat : 5571 (java) S 5563 5565 4496 0 -1 64 371 0 0 0 16 1 0 0 16 0 8 0 275481892 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5572] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5572/stat : 5572 (java) S 5563 5565 4496 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275481892 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5573] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5573/stat : 5573 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481892 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915444
[startup+25.6028 s]
/proc/loadavg: 1.95 1.98 1.95 3/100 5573
/proc/meminfo: memFree=1224104/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=25.54
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 7916 0 1 0 2303 251 0 0 25 0 8 0 275481885 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792725 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228861 7653 2476 14 0 215331 0
[pid=5565/tid=5567] ppid=5563 vsize=915444 CPUtime=0.03
/proc/5565/task/5567/stat : 5567 (java) S 5563 5565 4496 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 275481889 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5568] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5568/stat : 5568 (java) S 5563 5565 4496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481889 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5569] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5569/stat : 5569 (java) S 5563 5565 4496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481889 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5570] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5570/stat : 5570 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275481892 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5571] ppid=5563 vsize=915444 CPUtime=0.17
/proc/5565/task/5571/stat : 5571 (java) S 5563 5565 4496 0 -1 64 371 0 0 0 16 1 0 0 16 0 8 0 275481892 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5572] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5572/stat : 5572 (java) S 5563 5565 4496 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275481892 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5573] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5573/stat : 5573 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481892 937414656 7653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915444
[startup+51.2042 s]
/proc/loadavg: 1.96 1.98 1.95 3/100 5573
/proc/meminfo: memFree=1218728/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=51.12
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 9377 0 1 0 4704 408 0 0 25 0 8 0 275481885 937414656 9108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073921924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228861 9108 2527 14 0 215331 0
[pid=5565/tid=5567] ppid=5563 vsize=915444 CPUtime=0.03
/proc/5565/task/5567/stat : 5567 (java) S 5563 5565 4496 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 275481889 937414656 9108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5568] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5568/stat : 5568 (java) S 5563 5565 4496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481889 937414656 9108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5569] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5569/stat : 5569 (java) S 5563 5565 4496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481889 937414656 9108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5570] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5570/stat : 5570 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275481892 937414656 9108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5571] ppid=5563 vsize=915444 CPUtime=0.28
/proc/5565/task/5571/stat : 5571 (java) S 5563 5565 4496 0 -1 64 432 0 0 0 27 1 0 0 17 0 8 0 275481892 937414656 9108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5572] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5572/stat : 5572 (java) S 5563 5565 4496 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275481892 937414656 9108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5573] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5573/stat : 5573 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481892 937414656 9108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915444
[startup+102.406 s]
/proc/loadavg: 2.04 2.00 1.96 3/100 5573
/proc/meminfo: memFree=1218728/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=102.25
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 9387 0 1 0 9817 408 0 0 25 0 8 0 275481885 937414656 9118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073921832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228861 9118 2527 14 0 215331 0
[pid=5565/tid=5567] ppid=5563 vsize=915444 CPUtime=0.03
/proc/5565/task/5567/stat : 5567 (java) S 5563 5565 4496 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 275481889 937414656 9118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5568] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5568/stat : 5568 (java) S 5563 5565 4496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481889 937414656 9118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5569] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5569/stat : 5569 (java) S 5563 5565 4496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481889 937414656 9118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5570] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5570/stat : 5570 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275481892 937414656 9118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5571] ppid=5563 vsize=915444 CPUtime=0.28
/proc/5565/task/5571/stat : 5571 (java) S 5563 5565 4496 0 -1 64 433 0 0 0 27 1 0 0 16 0 8 0 275481892 937414656 9118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5572] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5572/stat : 5572 (java) S 5563 5565 4496 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275481892 937414656 9118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5573] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5573/stat : 5573 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481892 937414656 9118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 915444
[startup+162.452 s]
/proc/loadavg: 2.01 2.00 1.96 3/100 5573
/proc/meminfo: memFree=1218664/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=162.24
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 9392 0 1 0 15816 408 0 0 25 0 8 0 275481885 937414656 9123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073986977 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2019.03
Current children cumulated vsize (KiB) 915444
[startup+2083.65 s]
/proc/loadavg: 2.05 2.01 1.97 3/101 6888
/proc/meminfo: memFree=1236776/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=2078.71
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 9411 0 1 0 207441 430 0 0 25 0 8 0 275481885 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228861 9141 2527 14 0 215331 0
[pid=5565/tid=5567] ppid=5563 vsize=915444 CPUtime=0.03
/proc/5565/task/5567/stat : 5567 (java) S 5563 5565 4496 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5568] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5568/stat : 5568 (java) S 5563 5565 4496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5569] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5569/stat : 5569 (java) S 5563 5565 4496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5570] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5570/stat : 5570 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5571] ppid=5563 vsize=915444 CPUtime=0.28
/proc/5565/task/5571/stat : 5571 (java) S 5563 5565 4496 0 -1 64 433 0 0 0 27 1 0 0 16 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5572] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5572/stat : 5572 (java) S 5563 5565 4496 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5573] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5573/stat : 5573 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2078.71
Current children cumulated vsize (KiB) 915444
[startup+2143.69 s]
/proc/loadavg: 2.02 2.01 1.97 3/101 6888
/proc/meminfo: memFree=1236776/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=2138.43
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 9411 0 1 0 213413 430 0 0 25 0 8 0 275481885 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987395 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228861 9141 2527 14 0 215331 0
[pid=5565/tid=5567] ppid=5563 vsize=915444 CPUtime=0.03
/proc/5565/task/5567/stat : 5567 (java) S 5563 5565 4496 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5568] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5568/stat : 5568 (java) S 5563 5565 4496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5569] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5569/stat : 5569 (java) S 5563 5565 4496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5570] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5570/stat : 5570 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5571] ppid=5563 vsize=915444 CPUtime=0.28
/proc/5565/task/5571/stat : 5571 (java) S 5563 5565 4496 0 -1 64 433 0 0 0 27 1 0 0 16 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5572] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5572/stat : 5572 (java) S 5563 5565 4496 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5573] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5573/stat : 5573 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2138.43
Current children cumulated vsize (KiB) 915444
[startup+2203.72 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 6888
/proc/meminfo: memFree=1236776/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=2198.15
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 9411 0 1 0 219385 430 0 0 25 0 8 0 275481885 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228861 9141 2527 14 0 215331 0
[pid=5565/tid=5567] ppid=5563 vsize=915444 CPUtime=0.03
/proc/5565/task/5567/stat : 5567 (java) S 5563 5565 4496 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5568] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5568/stat : 5568 (java) S 5563 5565 4496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5569] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5569/stat : 5569 (java) S 5563 5565 4496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5570] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5570/stat : 5570 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5571] ppid=5563 vsize=915444 CPUtime=0.28
/proc/5565/task/5571/stat : 5571 (java) S 5563 5565 4496 0 -1 64 433 0 0 0 27 1 0 0 16 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5572] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5572/stat : 5572 (java) S 5563 5565 4496 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5573] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5573/stat : 5573 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2198.15
Current children cumulated vsize (KiB) 915444
[startup+2263.76 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 6888
/proc/meminfo: memFree=1236776/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=2257.84
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 9411 0 1 0 225353 431 0 0 25 0 8 0 275481885 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228861 9141 2527 14 0 215331 0
[pid=5565/tid=5567] ppid=5563 vsize=915444 CPUtime=0.03
/proc/5565/task/5567/stat : 5567 (java) S 5563 5565 4496 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5568] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5568/stat : 5568 (java) S 5563 5565 4496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5569] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5569/stat : 5569 (java) S 5563 5565 4496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5570] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5570/stat : 5570 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5571] ppid=5563 vsize=915444 CPUtime=0.28
/proc/5565/task/5571/stat : 5571 (java) S 5563 5565 4496 0 -1 64 433 0 0 0 27 1 0 0 16 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5572] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5572/stat : 5572 (java) S 5563 5565 4496 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5573] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5573/stat : 5573 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2257.84
Current children cumulated vsize (KiB) 915444
[startup+2323.8 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 6888
/proc/meminfo: memFree=1236776/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=2317.56
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 9411 0 1 0 231325 431 0 0 25 0 8 0 275481885 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073988010 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228861 9141 2527 14 0 215331 0
[pid=5565/tid=5567] ppid=5563 vsize=915444 CPUtime=0.03
/proc/5565/task/5567/stat : 5567 (java) S 5563 5565 4496 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5568] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5568/stat : 5568 (java) S 5563 5565 4496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5569] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5569/stat : 5569 (java) S 5563 5565 4496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5570] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5570/stat : 5570 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5571] ppid=5563 vsize=915444 CPUtime=0.28
/proc/5565/task/5571/stat : 5571 (java) S 5563 5565 4496 0 -1 64 433 0 0 0 27 1 0 0 16 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5572] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5572/stat : 5572 (java) S 5563 5565 4496 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5573] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5573/stat : 5573 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2317.56
Current children cumulated vsize (KiB) 915444
[startup+2383.84 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 6888
/proc/meminfo: memFree=1236776/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=2377.28
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 9411 0 1 0 237297 431 0 0 25 0 8 0 275481885 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073925590 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228861 9141 2527 14 0 215331 0
[pid=5565/tid=5567] ppid=5563 vsize=915444 CPUtime=0.03
/proc/5565/task/5567/stat : 5567 (java) S 5563 5565 4496 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5568] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5568/stat : 5568 (java) S 5563 5565 4496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5569] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5569/stat : 5569 (java) S 5563 5565 4496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5570] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5570/stat : 5570 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5571] ppid=5563 vsize=915444 CPUtime=0.28
/proc/5565/task/5571/stat : 5571 (java) S 5563 5565 4496 0 -1 64 433 0 0 0 27 1 0 0 16 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5572] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5572/stat : 5572 (java) S 5563 5565 4496 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5573] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5573/stat : 5573 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2377.28
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2406.75 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 6888
/proc/meminfo: memFree=1236776/2055920 swapFree=4191880/4192956
[pid=5565] ppid=5563 vsize=915444 CPUtime=2400.06
/proc/5565/stat : 5565 (java) R 5563 5565 4496 0 -1 0 9411 0 1 0 239575 431 0 0 25 0 8 0 275481885 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073986935 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5565/statm: 228861 9141 2527 14 0 215331 0
[pid=5565/tid=5567] ppid=5563 vsize=915444 CPUtime=0.03
/proc/5565/task/5567/stat : 5567 (java) S 5563 5565 4496 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5568] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5568/stat : 5568 (java) S 5563 5565 4496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5569] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5569/stat : 5569 (java) S 5563 5565 4496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275481889 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5570] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5570/stat : 5570 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5571] ppid=5563 vsize=915444 CPUtime=0.28
/proc/5565/task/5571/stat : 5571 (java) S 5563 5565 4496 0 -1 64 433 0 0 0 27 1 0 0 16 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5572] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5572/stat : 5572 (java) S 5563 5565 4496 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5565/tid=5573] ppid=5563 vsize=915444 CPUtime=0
/proc/5565/task/5573/stat : 5573 (java) S 5563 5565 4496 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275481892 937414656 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2406.82
CPU time (s): 2400.13
CPU user time (s): 2395.81
CPU system time (s): 4.32134
CPU usage (%): 99.7221
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.81
system time used= 4.32134
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9432
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= 50015
involuntary context switches= 66247
runsolver used 2.87956 s user time and 7.76682 s system time
The end
Begin job on node26 on Sat Jan 20 05:27:56 UTC 2007
IDJOB= 277868
IDBENCH= 7732
IDSOLVER= 69
FILE ID= node26/277868-1169270876
PBS_JOBID= 3607366
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-2000-523841_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277868-1169270876/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-277868-1169270876 -o ROOT/results/node26/solver-277868-1169270876 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277868-1169270876/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2c1d6fd6a8186858a440083267c87ba2
RANDOM SEED= 903542666
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.236
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.236
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: 1245632 kB
Buffers: 51444 kB
Cached: 594288 kB
SwapCached: 268 kB
Active: 304836 kB
Inactive: 432436 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1245632 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1884 kB
Writeback: 0 kB
Mapped: 119280 kB
Slab: 57732 kB
Committed_AS: 5694756 kB
PageTables: 2376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node26 on Sat Jan 20 06:08:04 UTC 2007