runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245139-1500685143/watcher-4245139-1500685143 -o /tmp/evaluation-result-4245139-1500685143/solver-4245139-1500685143 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 817123445 HOME/instance-4245139-1500685143.xml
pid=303
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.88 14.34 14.41 9/274 306
/proc/meminfo: memFree=31112164/32770624 swapFree=5900/220240
[pid=306] ppid=303 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/306/stat : 306 (xcsp3-exec) S 303 306 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3781271 9740288 345 33554432000 4194304 5098028 140734544088160 140734544086264 140254191690364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15056896 140734544090255 140734544090464 140734544090464 140734544093163 0
/proc/306/statm: 2378 345 289 221 0 87 0
[startup+0.100077 s]
/proc/loadavg: 14.88 14.34 14.41 9/274 306
/proc/meminfo: memFree=31112164/32770624 swapFree=5900/220240
[pid=306] ppid=303 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/306/stat : 306 (xcsp3-exec) S 303 306 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3781271 9740288 345 33554432000 4194304 5098028 140734544088160 140734544086264 140254191690364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15056896 140734544090255 140734544090464 140734544090464 140734544093163 0
/proc/306/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20037 s]
/proc/loadavg: 14.88 14.34 14.41 9/274 306
/proc/meminfo: memFree=31112164/32770624 swapFree=5900/220240
[pid=306] ppid=303 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/306/stat : 306 (xcsp3-exec) S 303 306 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3781271 9740288 345 33554432000 4194304 5098028 140734544088160 140734544086264 140254191690364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15056896 140734544090255 140734544090464 140734544090464 140734544093163 0
/proc/306/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300329 s]
/proc/loadavg: 14.88 14.34 14.41 9/274 306
/proc/meminfo: memFree=31112164/32770624 swapFree=5900/220240
[pid=306] ppid=303 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/306/stat : 306 (xcsp3-exec) S 303 306 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3781271 9740288 345 33554432000 4194304 5098028 140734544088160 140734544086264 140254191690364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15056896 140734544090255 140734544090464 140734544090464 140734544093163 0
/proc/306/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700208 s]
/proc/loadavg: 14.88 14.34 14.41 9/274 306
/proc/meminfo: memFree=31112164/32770624 swapFree=5900/220240
[pid=306] ppid=303 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/306/stat : 306 (xcsp3-exec) S 303 306 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3781271 9740288 345 33554432000 4194304 5098028 140734544088160 140734544086264 140254191690364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15056896 140734544090255 140734544090464 140734544090464 140734544093163 0
/proc/306/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50079 s]
/proc/loadavg: 14.88 14.34 14.41 13/295 328
/proc/meminfo: memFree=30967480/32770624 swapFree=5900/220220
[pid=306] ppid=303 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/306/stat : 306 (xcsp3-exec) S 303 306 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3781271 9740288 345 33554432000 4194304 5098028 140734544088160 140734544086264 140254191690364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15056896 140734544090255 140734544090464 140734544090464 140734544093163 0
/proc/306/statm: 2378 345 289 221 0 87 0
[pid=307] ppid=306 vsize=13269256 CPUtime=5.28 cores=0,2,4,6,8,10,12,14
/proc/307/stat : 307 (java) S 306 306 16913 0 -1 1077944320 22067 0 0 0 510 18 0 0 20 0 20 0 3781271 13587718144 54260 33554432000 4194304 4196468 140726056205696 140726056188240 140061120007927 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
/proc/307/statm: 3317314 54260 3247 1 0 3304547 0
[pid=307/tid=308] ppid=306 vsize=13269256 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/307/task/308/stat : 308 (java) R 306 306 16913 0 -1 4202560 8045 0 0 0 137 6 0 0 20 0 20 0 3781272 13587718144 54260 33554432000 4194304 4196468 140726056205696 140061124246920 140060713395207 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=310] ppid=306 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/307/task/310/stat : 310 (java) S 306 306 16913 0 -1 1077944384 79 0 0 0 2 1 0 0 20 0 20 0 3781273 13587718144 54260 33554432000 4194304 4196468 140726056205696 140061038488336 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=311] ppid=306 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/307/task/311/stat : 311 (java) S 306 306 16913 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 3781273 13587718144 54260 33554432000 4194304 4196468 140726056205696 140061037435792 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=312] ppid=306 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/307/task/312/stat : 312 (java) S 306 306 16913 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 20 0 3781273 13587718144 54260 33554432000 4194304 4196468 140726056205696 140061036383248 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=313] ppid=306 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/307/task/313/stat : 313 (java) S 306 306 16913 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 20 0 3781273 13587718144 54260 33554432000 4194304 4196468 140726056205696 140061035330704 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=314] ppid=306 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/307/task/314/stat : 314 (java) S 306 306 16913 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 20 0 3781273 13587718144 54260 33554432000 4194304 4196468 140726056205696 140061034277136 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=315] ppid=306 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/307/task/315/stat : 315 (java) S 306 306 16913 0 -1 1077944384 47 0 0 0 1 1 0 0 20 0 20 0 3781273 13587718144 54260 33554432000 4194304 4196468 140726056205696 140061033224592 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=316] ppid=306 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/307/task/316/stat : 316 (java) S 306 306 16913 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 20 0 3781273 13587718144 54260 33554432000 4194304 4196468 140726056205696 140061032172048 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=317] ppid=306 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/317/stat : 317 (java) S 306 306 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3781273 13587718144 54260 33554432000 4194304 4196468 140726056205696 140060712233616 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=318] ppid=306 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/318/stat : 318 (java) S 306 306 16913 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 20 0 3781275 13587718144 54260 33554432000 4194304 4196468 140726056205696 140060582197744 140061120019074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=319] ppid=306 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/319/stat : 319 (java) S 306 306 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 3781276 13587718144 54260 33554432000 4194304 4196468 140726056205696 140060581144032 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=320] ppid=306 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/320/stat : 320 (java) S 306 306 16913 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 3781276 13587718144 54260 33554432000 4194304 4196468 140726056205696 140060580091392 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=321] ppid=306 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/321/stat : 321 (java) S 306 306 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3781280 13587718144 54260 33554432000 4194304 4196468 140726056205696 140060579039952 140061120026523 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=322] ppid=306 vsize=13269256 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/307/task/322/stat : 322 (java) R 306 306 16913 0 -1 4202560 3420 0 0 0 98 0 0 0 20 0 20 0 3781280 13587718144 54260 33554432000 4194304 4196468 140726056205696 140060577978000 140061104409681 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=323] ppid=306 vsize=13269256 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/307/task/323/stat : 323 (java) R 306 306 16913 0 -1 4202560 3106 0 0 0 100 0 0 0 20 0 20 0 3781280 13587718144 54260 33554432000 4194304 4196468 140726056205696 140060576920816 140061105133312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=324] ppid=306 vsize=13269256 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/307/task/324/stat : 324 (java) R 306 306 16913 0 -1 4202560 2982 0 0 0 99 0 0 0 20 0 20 0 3781280 13587718144 54260 33554432000 4194304 4196468 140726056205696 140060575872432 140061099232991 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=325] ppid=306 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/307/task/325/stat : 325 (java) S 306 306 16913 0 -1 1077944384 2600 0 0 0 61 1 0 0 20 0 20 0 3781280 13587718144 54260 33554432000 4194304 4196468 140726056205696 140060574828912 140061120019074 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=326] ppid=306 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/326/stat : 326 (java) S 306 306 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3781281 13587718144 54260 33554432000 4194304 4196468 140726056205696 140060573776608 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=328] ppid=306 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/328/stat : 328 (java) S 306 306 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3781281 13587718144 54260 33554432000 4194304 4196468 140726056205696 140060572724144 140061120019074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 13278768
[startup+3.10161 s]
/proc/loadavg: 14.88 14.34 14.41 21/303 354
/proc/meminfo: memFree=30881736/32770624 swapFree=5900/220220
[pid=306] ppid=303 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/306/stat : 306 (xcsp3-exec) S 303 306 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3781271 9740288 345 33554432000 4194304 5098028 140734544088160 140734544086264 140254191690364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15056896 140734544090255 140734544090464 140734544090464 140734544093163 0
/proc/306/statm: 2378 345 289 221 0 87 0
[pid=307] ppid=306 vsize=13801768 CPUtime=17.87 cores=0,2,4,6,8,10,12,14
/proc/307/stat : 307 (java) S 306 306 16913 0 -1 1077944320 32691 0 0 0 1766 21 0 0 20 0 28 0 3781271 14133010432 62648 33554432000 4194304 4196468 140726056205696 140726056188240 140061120007927 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
/proc/307/statm: 3450442 62648 3280 1 0 3437675 0
[pid=307/tid=308] ppid=306 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/307/task/308/stat : 308 (java) S 306 306 16913 0 -1 1077944384 8264 0 0 0 140 6 0 0 20 0 28 0 3781272 14133010432 62648 33554432000 4194304 4196468 140726056205696 140061124248704 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=310] ppid=306 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/307/task/310/stat : 310 (java) S 306 306 16913 0 -1 1077944384 79 0 0 0 2 1 0 0 20 0 28 0 3781273 14133010432 62648 33554432000 4194304 4196468 140726056205696 140061038488336 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=311] ppid=306 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/307/task/311/stat : 311 (java) S 306 306 16913 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 3781273 14133010432 62648 33554432000 4194304 4196468 140726056205696 140061037435792 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=312] ppid=306 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/307/task/312/stat : 312 (java) S 306 306 16913 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 28 0 3781273 14133010432 62648 33554432000 4194304 4196468 140726056205696 140061036383248 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=313] ppid=306 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/307/task/313/stat : 313 (java) S 306 306 16913 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 28 0 3781273 14133010432 62648 33554432000 4194304 4196468 140726056205696 140061035330704 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=314] ppid=306 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/307/task/314/stat : 314 (java) S 306 306 16913 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 28 0 3781273 14133010432 62648 33554432000 4194304 4196468 140726056205696 140061034277136 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=315] ppid=306 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/307/task/315/stat : 315 (java) S 306 306 16913 0 -1 1077944384 47 0 0 0 1 1 0 0 20 0 28 0 3781273 14133010432 62648 33554432000 4194304 4196468 140726056205696 140061033224592 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=316] ppid=306 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/307/task/316/stat : 316 (java) S 306 306 16913 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 28 0 3781273 14133010432 62648 33554432000 4194304 4196468 140726056205696 140061032172048 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=317] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/317/stat : 317 (java) S 306 306 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3781273 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060712233616 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=318] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/318/stat : 318 (java) S 306 306 16913 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 28 0 3781275 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060582197744 140061120019074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=319] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/319/stat : 319 (java) S 306 306 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3781276 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060581144032 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=320] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/320/stat : 320 (java) S 306 306 16913 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3781276 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060580091392 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=321] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/321/stat : 321 (java) S 306 306 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3781280 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060579039952 140061120026523 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=322] ppid=306 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/307/task/322/stat : 322 (java) D 306 306 16913 0 -1 4202560 5714 0 0 0 202 0 0 0 20 0 28 0 3781280 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060577986240 140061099915063 0 4 0 16800975 18446744072100961413 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=323] ppid=306 vsize=13801768 CPUtime=2.2 cores=0,2,4,6,8,10,12,14
/proc/307/task/323/stat : 323 (java) R 306 306 16913 0 -1 4202560 5486 0 0 0 220 0 0 0 20 0 28 0 3781280 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060576920096 140061105116924 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=324] ppid=306 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/307/task/324/stat : 324 (java) D 306 306 16913 0 -1 4202560 5514 0 0 0 203 1 0 0 20 0 28 0 3781280 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060575868024 140061112724890 0 4 0 16800975 18446744071582151463 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=325] ppid=306 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/307/task/325/stat : 325 (java) D 306 306 16913 0 -1 4202560 4823 0 0 0 97 2 0 0 20 0 28 0 3781280 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060574828832 140061099932063 0 4 0 16800975 18446744072100961413 0 0 -1 10 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=326] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/326/stat : 326 (java) S 306 306 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3781281 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060573776608 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=328] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/328/stat : 328 (java) D 306 306 16913 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 28 0 3781281 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060572724064 140061104864014 0 4 0 16800975 18446744072100961413 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=341] ppid=306 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/307/task/341/stat : 341 (java) R 306 306 16913 0 -1 4202560 99 0 0 0 99 0 0 0 20 0 28 0 3781433 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060222528408 140060718598933 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=343] ppid=306 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/307/task/343/stat : 343 (java) R 306 306 16913 0 -1 4202560 53 0 0 0 91 0 0 0 20 0 28 0 3781433 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060563657976 140060720620213 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=344] ppid=306 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/307/task/344/stat : 344 (java) R 306 306 16913 0 -1 4202560 51 0 0 0 99 0 0 0 20 0 28 0 3781433 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060562602184 140060718840453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=350] ppid=306 vsize=13801768 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/307/task/350/stat : 350 (java) D 306 306 16913 0 -1 4202560 142 0 0 0 109 0 0 0 20 0 28 0 3781433 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060224636600 140060719153342 0 4 0 16800975 18446744071582151416 0 0 -1 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=351] ppid=306 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/307/task/351/stat : 351 (java) R 306 306 16913 0 -1 4202560 29 0 0 0 97 0 0 0 20 0 28 0 3781433 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060225687336 140061098002010 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=352] ppid=306 vsize=13801768 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/307/task/352/stat : 352 (java) R 306 306 16913 0 -1 4202560 86 0 0 0 122 0 0 0 20 0 28 0 3781433 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060221477288 140060720522129 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=353] ppid=306 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/307/task/353/stat : 353 (java) R 306 306 16913 0 -1 4202560 144 0 0 0 94 0 0 0 20 0 28 0 3781433 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060564711736 140060720520835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=354] ppid=306 vsize=13801768 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/307/task/354/stat : 354 (java) R 306 306 16913 0 -1 4202560 30 0 0 0 133 0 0 0 20 0 28 0 3781433 14133010432 62648 33554432000 4194304 4196468 140726056205696 140060223582456 140060719082112 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
Current children cumulated CPU time (s) 17.87
Current children cumulated vsize (KiB) 13811280
[startup+6.30166 s]
/proc/loadavg: 14.89 14.35 14.41 17/303 354
/proc/meminfo: memFree=30749628/32770624 swapFree=5900/220232
[pid=306] ppid=303 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/306/stat : 306 (xcsp3-exec) S 303 306 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3781271 9740288 345 33554432000 4194304 5098028 140734544088160 140734544086264 140254191690364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15056896 140734544090255 140734544090464 140734544090464 140734544093163 0
/proc/306/statm: 2378 345 289 221 0 87 0
[pid=307] ppid=306 vsize=13801768 CPUtime=43.2 cores=0,2,4,6,8,10,12,14
/proc/307/stat : 307 (java) S 306 306 16913 0 -1 1077944320 34519 0 0 0 4279 41 0 0 20 0 28 0 3781271 14133010432 99908 33554432000 4194304 4196468 140726056205696 140726056188240 140061120007927 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
/proc/307/statm: 3450442 99908 3289 1 0 3437675 0
[pid=307/tid=308] ppid=306 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/307/task/308/stat : 308 (java) S 306 306 16913 0 -1 1077944384 8264 0 0 0 140 6 0 0 20 0 28 0 3781272 14133010432 99908 33554432000 4194304 4196468 140726056205696 140061124248704 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=310] ppid=306 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/307/task/310/stat : 310 (java) S 306 306 16913 0 -1 1077944384 107 0 0 0 4 3 0 0 20 0 28 0 3781273 14133010432 99908 33554432000 4194304 4196468 140726056205696 140061038488336 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=311] ppid=306 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/307/task/311/stat : 311 (java) S 306 306 16913 0 -1 1077944384 83 0 0 0 3 2 0 0 20 0 28 0 3781273 14133010432 99908 33554432000 4194304 4196468 140726056205696 140061037435792 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=312] ppid=306 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/307/task/312/stat : 312 (java) S 306 306 16913 0 -1 1077944384 64 0 0 0 3 3 0 0 20 0 28 0 3781273 14133010432 99908 33554432000 4194304 4196468 140726056205696 140061036383248 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=313] ppid=306 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/307/task/313/stat : 313 (java) S 306 306 16913 0 -1 1077944384 216 0 0 0 4 3 0 0 20 0 28 0 3781273 14133010432 99908 33554432000 4194304 4196468 140726056205696 140061035330704 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
################
# More data... #
################
[pid=307/tid=353] ppid=306 vsize=13801768 CPUtime=217.4 cores=0,2,4,6,8,10,12,14
/proc/307/task/353/stat : 353 (java) R 306 306 16913 0 -1 4202560 5719 0 0 0 21723 17 0 0 20 0 28 0 3781433 14133010432 926006 33554432000 4194304 4196468 140726056205696 140060564710200 140060721631290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=354] ppid=306 vsize=13801768 CPUtime=217.14 cores=0,2,4,6,8,10,12,14
/proc/307/task/354/stat : 354 (java) R 306 306 16913 0 -1 4202560 1797 0 0 0 21712 2 0 0 20 0 28 0 3781433 14133010432 926006 33554432000 4194304 4196468 140726056205696 140060223582264 140060720483006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
Current children cumulated CPU time (s) 1757.53
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.96 15.21 14.76 17/304 594
/proc/meminfo: memFree=24683964/32770624 swapFree=5900/220616
[pid=306] ppid=303 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/306/stat : 306 (xcsp3-exec) S 303 306 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3781271 9740288 345 33554432000 4194304 5098028 140734544088160 140734544086264 140254191690364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15056896 140734544090255 140734544090464 140734544090464 140734544093163 0
/proc/306/statm: 2378 345 289 221 0 87 0
[pid=307] ppid=306 vsize=13801768 CPUtime=2234.71 cores=0,2,4,6,8,10,12,14
/proc/307/stat : 307 (java) S 306 306 16913 0 -1 1077944320 92676 0 0 0 223123 348 0 0 20 0 28 0 3781271 14133010432 964180 33554432000 4194304 4196468 140726056205696 140726056188240 140061120007927 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
/proc/307/statm: 3450442 964180 3306 1 0 3437675 0
[pid=307/tid=308] ppid=306 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/307/task/308/stat : 308 (java) S 306 306 16913 0 -1 1077944384 8264 0 0 0 140 6 0 0 20 0 28 0 3781272 14133010432 964180 33554432000 4194304 4196468 140726056205696 140061124248704 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=310] ppid=306 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/307/task/310/stat : 310 (java) S 306 306 16913 0 -1 1077944384 1763 0 0 0 99 29 0 0 20 0 28 0 3781273 14133010432 964180 33554432000 4194304 4196468 140726056205696 140061038488336 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=311] ppid=306 vsize=13801768 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/307/task/311/stat : 311 (java) S 306 306 16913 0 -1 1077944384 886 0 0 0 101 29 0 0 20 0 28 0 3781273 14133010432 964180 33554432000 4194304 4196468 140726056205696 140061037435792 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=312] ppid=306 vsize=13801768 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/307/task/312/stat : 312 (java) S 306 306 16913 0 -1 1077944384 1465 0 0 0 97 29 0 0 20 0 28 0 3781273 14133010432 964180 33554432000 4194304 4196468 140726056205696 140061036383248 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=313] ppid=306 vsize=13801768 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/307/task/313/stat : 313 (java) S 306 306 16913 0 -1 1077944384 2838 0 0 0 100 30 0 0 20 0 28 0 3781273 14133010432 964180 33554432000 4194304 4196468 140726056205696 140061035330704 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=314] ppid=306 vsize=13801768 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/307/task/314/stat : 314 (java) S 306 306 16913 0 -1 1077944384 934 0 0 0 99 31 0 0 20 0 28 0 3781273 14133010432 964180 33554432000 4194304 4196468 140726056205696 140061034277136 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=315] ppid=306 vsize=13801768 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/307/task/315/stat : 315 (java) S 306 306 16913 0 -1 1077944384 1657 0 0 0 100 31 0 0 20 0 28 0 3781273 14133010432 964180 33554432000 4194304 4196468 140726056205696 140061033224592 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=316] ppid=306 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/307/task/316/stat : 316 (java) S 306 306 16913 0 -1 1077944384 1155 0 0 0 99 29 0 0 20 0 28 0 3781273 14133010432 964180 33554432000 4194304 4196468 140726056205696 140061032172048 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=317] ppid=306 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/307/task/317/stat : 317 (java) S 306 306 16913 0 -1 1077944384 844 0 0 0 100 29 0 0 20 0 28 0 3781273 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060712233616 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=318] ppid=306 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/307/task/318/stat : 318 (java) S 306 306 16913 0 -1 1077944384 6840 0 0 0 32 28 0 0 20 0 28 0 3781275 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060582197744 140061120019074 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=319] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/319/stat : 319 (java) S 306 306 16913 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3781276 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060581144032 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=320] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/320/stat : 320 (java) S 306 306 16913 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3781276 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060580091392 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=321] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/321/stat : 321 (java) S 306 306 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3781280 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060579039952 140061120026523 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=322] ppid=306 vsize=13801768 CPUtime=3.26 cores=0,2,4,6,8,10,12,14
/proc/307/task/322/stat : 322 (java) S 306 306 16913 0 -1 1077944384 9966 0 0 0 325 1 0 0 20 0 28 0 3781280 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060577986544 140061120019074 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 9 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=323] ppid=306 vsize=13801768 CPUtime=3.46 cores=0,2,4,6,8,10,12,14
/proc/307/task/323/stat : 323 (java) S 306 306 16913 0 -1 1077944384 10884 0 0 0 345 1 0 0 20 0 28 0 3781280 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060576934000 140061120019074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=324] ppid=306 vsize=13801768 CPUtime=3.58 cores=0,2,4,6,8,10,12,14
/proc/307/task/324/stat : 324 (java) S 306 306 16913 0 -1 1077944384 12861 0 0 0 357 1 0 0 20 0 28 0 3781280 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060575881456 140061120019074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=325] ppid=306 vsize=13801768 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/307/task/325/stat : 325 (java) S 306 306 16913 0 -1 1077944384 7703 0 0 0 114 3 0 0 20 0 28 0 3781280 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060574828912 140061120019074 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 5 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=326] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/326/stat : 326 (java) S 306 306 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3781281 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060573776608 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=328] ppid=306 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/307/task/328/stat : 328 (java) S 306 306 16913 0 -1 1077944384 347 0 0 0 7 6 0 0 20 0 28 0 3781281 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060572724144 140061120019074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=341] ppid=306 vsize=13801768 CPUtime=275.83 cores=0,2,4,6,8,10,12,14
/proc/307/task/341/stat : 341 (java) R 306 306 16913 0 -1 4202560 2690 0 0 0 27576 7 0 0 20 0 28 0 3781433 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060222531856 140060720301351 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=343] ppid=306 vsize=13801768 CPUtime=275.99 cores=0,2,4,6,8,10,12,14
/proc/307/task/343/stat : 343 (java) R 306 306 16913 0 -1 4202560 3508 0 0 0 27585 14 0 0 20 0 28 0 3781433 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060563661256 140060720520903 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=344] ppid=306 vsize=13801768 CPUtime=275.74 cores=0,2,4,6,8,10,12,14
/proc/307/task/344/stat : 344 (java) R 306 306 16913 0 -1 4202560 2851 0 0 0 27567 7 0 0 20 0 28 0 3781433 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060562603520 140060721126567 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=350] ppid=306 vsize=13801768 CPUtime=275.78 cores=0,2,4,6,8,10,12,14
/proc/307/task/350/stat : 350 (java) R 306 306 16913 0 -1 4202560 2641 0 0 0 27570 8 0 0 20 0 28 0 3781433 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060224638664 140060721622657 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=351] ppid=306 vsize=13801768 CPUtime=275.93 cores=0,2,4,6,8,10,12,14
/proc/307/task/351/stat : 351 (java) R 306 306 16913 0 -1 4202560 1566 0 0 0 27589 4 0 0 20 0 28 0 3781433 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060225687592 140060722255530 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=352] ppid=306 vsize=13801768 CPUtime=276.89 cores=0,2,4,6,8,10,12,14
/proc/307/task/352/stat : 352 (java) R 306 306 16913 0 -1 4202560 488 0 0 0 27689 0 0 0 20 0 28 0 3781433 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060221481064 140060721119212 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=353] ppid=306 vsize=13801768 CPUtime=277.15 cores=0,2,4,6,8,10,12,14
/proc/307/task/353/stat : 353 (java) R 306 306 16913 0 -1 4202560 6795 0 0 0 27697 18 0 0 20 0 28 0 3781433 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060564709240 140061106076032 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=354] ppid=306 vsize=13801768 CPUtime=276.82 cores=0,2,4,6,8,10,12,14
/proc/307/task/354/stat : 354 (java) R 306 306 16913 0 -1 4202560 2053 0 0 0 27680 2 0 0 20 0 28 0 3781433 14133010432 964180 33554432000 4194304 4196468 140726056205696 140060223582328 140060721139486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
Current children cumulated CPU time (s) 2234.71
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.201 s]
/proc/loadavg: 16.04 15.27 14.79 17/304 594
/proc/meminfo: memFree=24623600/32770624 swapFree=5900/220664
[pid=306] ppid=303 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/306/stat : 306 (xcsp3-exec) S 303 306 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3781271 9740288 345 33554432000 4194304 5098028 140734544088160 140734544086264 140254191690364 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15056896 140734544090255 140734544090464 140734544090464 140734544093163 0
/proc/306/statm: 2378 345 289 221 0 87 0
[pid=307] ppid=306 vsize=13801768 CPUtime=2400.63 cores=0,2,4,6,8,10,12,14
/proc/307/stat : 307 (java) S 306 306 16913 0 -1 1077944320 98826 0 0 0 239706 357 0 0 20 0 28 0 3781271 14133010432 967013 33554432000 4194304 4196468 140726056205696 140726056188240 140061120007927 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
/proc/307/statm: 3450442 967013 3306 1 0 3437675 0
[pid=307/tid=308] ppid=306 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/307/task/308/stat : 308 (java) S 306 306 16913 0 -1 1077944384 8264 0 0 0 140 6 0 0 20 0 28 0 3781272 14133010432 967013 33554432000 4194304 4196468 140726056205696 140061124248704 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=310] ppid=306 vsize=13801768 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/307/task/310/stat : 310 (java) S 306 306 16913 0 -1 1077944384 1841 0 0 0 110 30 0 0 20 0 28 0 3781273 14133010432 967013 33554432000 4194304 4196468 140726056205696 140061038488336 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=311] ppid=306 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/307/task/311/stat : 311 (java) S 306 306 16913 0 -1 1077944384 950 0 0 0 113 29 0 0 20 0 28 0 3781273 14133010432 967013 33554432000 4194304 4196468 140726056205696 140061037435792 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=312] ppid=306 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/307/task/312/stat : 312 (java) S 306 306 16913 0 -1 1077944384 1527 0 0 0 109 30 0 0 20 0 28 0 3781273 14133010432 967013 33554432000 4194304 4196468 140726056205696 140061036383248 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=313] ppid=306 vsize=13801768 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/307/task/313/stat : 313 (java) S 306 306 16913 0 -1 1077944384 2870 0 0 0 109 31 0 0 20 0 28 0 3781273 14133010432 967013 33554432000 4194304 4196468 140726056205696 140061035330704 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=314] ppid=306 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/307/task/314/stat : 314 (java) S 306 306 16913 0 -1 1077944384 987 0 0 0 110 32 0 0 20 0 28 0 3781273 14133010432 967013 33554432000 4194304 4196468 140726056205696 140061034277136 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=315] ppid=306 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/307/task/315/stat : 315 (java) S 306 306 16913 0 -1 1077944384 1714 0 0 0 111 32 0 0 20 0 28 0 3781273 14133010432 967013 33554432000 4194304 4196468 140726056205696 140061033224592 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=316] ppid=306 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/307/task/316/stat : 316 (java) S 306 306 16913 0 -1 1077944384 1464 0 0 0 111 30 0 0 20 0 28 0 3781273 14133010432 967013 33554432000 4194304 4196468 140726056205696 140061032172048 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=317] ppid=306 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/307/task/317/stat : 317 (java) S 306 306 16913 0 -1 1077944384 895 0 0 0 112 30 0 0 20 0 28 0 3781273 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060712233616 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=318] ppid=306 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/307/task/318/stat : 318 (java) S 306 306 16913 0 -1 1077944384 9883 0 0 0 34 30 0 0 20 0 28 0 3781275 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060582197744 140061120019074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=319] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/319/stat : 319 (java) S 306 306 16913 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3781276 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060581144032 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=320] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/320/stat : 320 (java) S 306 306 16913 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3781276 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060580091392 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=321] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/321/stat : 321 (java) S 306 306 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3781280 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060579039952 140061120026523 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=322] ppid=306 vsize=13801768 CPUtime=3.26 cores=0,2,4,6,8,10,12,14
/proc/307/task/322/stat : 322 (java) S 306 306 16913 0 -1 1077944384 9966 0 0 0 325 1 0 0 20 0 28 0 3781280 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060577986544 140061120019074 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 9 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=323] ppid=306 vsize=13801768 CPUtime=3.46 cores=0,2,4,6,8,10,12,14
/proc/307/task/323/stat : 323 (java) S 306 306 16913 0 -1 1077944384 10884 0 0 0 345 1 0 0 20 0 28 0 3781280 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060576934000 140061120019074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=324] ppid=306 vsize=13801768 CPUtime=3.58 cores=0,2,4,6,8,10,12,14
/proc/307/task/324/stat : 324 (java) S 306 306 16913 0 -1 1077944384 12861 0 0 0 357 1 0 0 20 0 28 0 3781280 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060575881456 140061120019074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=325] ppid=306 vsize=13801768 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/307/task/325/stat : 325 (java) S 306 306 16913 0 -1 1077944384 7703 0 0 0 114 3 0 0 20 0 28 0 3781280 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060574828912 140061120019074 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 5 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=326] ppid=306 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/307/task/326/stat : 326 (java) S 306 306 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3781281 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060573776608 140061120018133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=328] ppid=306 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/307/task/328/stat : 328 (java) S 306 306 16913 0 -1 1077944384 349 0 0 0 8 6 0 0 20 0 28 0 3781281 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060572724144 140061120019074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=341] ppid=306 vsize=13801768 CPUtime=296.54 cores=0,2,4,6,8,10,12,14
/proc/307/task/341/stat : 341 (java) R 306 306 16913 0 -1 4202560 2768 0 0 0 29647 7 0 0 20 0 28 0 3781433 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060222531856 140060721140153 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=343] ppid=306 vsize=13801768 CPUtime=296.55 cores=0,2,4,6,8,10,12,14
/proc/307/task/343/stat : 343 (java) R 306 306 16913 0 -1 4202560 5457 0 0 0 29641 14 0 0 20 0 28 0 3781433 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060563658056 140060720520884 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=344] ppid=306 vsize=13801768 CPUtime=296.32 cores=0,2,4,6,8,10,12,14
/proc/307/task/344/stat : 344 (java) R 306 306 16913 0 -1 4202560 2937 0 0 0 29625 7 0 0 20 0 28 0 3781433 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060562603504 140060722255898 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=350] ppid=306 vsize=13801768 CPUtime=296.27 cores=0,2,4,6,8,10,12,14
/proc/307/task/350/stat : 350 (java) R 306 306 16913 0 -1 4202560 2705 0 0 0 29619 8 0 0 20 0 28 0 3781433 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060224634728 140060720483305 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=351] ppid=306 vsize=13801768 CPUtime=296.62 cores=0,2,4,6,8,10,12,14
/proc/307/task/351/stat : 351 (java) R 306 306 16913 0 -1 4202560 1595 0 0 0 29658 4 0 0 20 0 28 0 3781433 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060225688120 140060720483353 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=352] ppid=306 vsize=13801768 CPUtime=297.36 cores=0,2,4,6,8,10,12,14
/proc/307/task/352/stat : 352 (java) R 306 306 16913 0 -1 4202560 500 0 0 0 29736 0 0 0 20 0 28 0 3781433 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060221476968 140060720520953 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=353] ppid=306 vsize=13801768 CPUtime=297.86 cores=0,2,4,6,8,10,12,14
/proc/307/task/353/stat : 353 (java) R 306 306 16913 0 -1 4202560 6957 0 0 0 29768 18 0 0 20 0 28 0 3781433 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060564713368 140060720520903 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
[pid=307/tid=354] ppid=306 vsize=13801768 CPUtime=297.51 cores=0,2,4,6,8,10,12,14
/proc/307/task/354/stat : 354 (java) R 306 306 16913 0 -1 4202560 2072 0 0 0 29749 2 0 0 20 0 28 0 3781433 14133010432 967013 33554432000 4194304 4196468 140726056205696 140060223582664 140060721135433 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140726056211644 140726056211820 140726056211820 140726056214479 0
Current children cumulated CPU time (s) 2400.63
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 307 sig 9
??? kill 306 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 306 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=3021
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1064
# CPU time returned by wait4() is 0.004085
# while last known CPU time is 2400.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.212
CPU time (s): 2400.63
CPU user time (s): 2397.06
CPU system time (s): 3.57
CPU usage (%): 791.732
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.003021
system time used= 0.001064
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.94778 second user time and 4.63446 second system time
The end