2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
R1: choco-solver 4.0.5 (2017-07-05)	SAT	117.154	18.1125

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-4248051-1500691292/watcher-4248051-1500691292 -o /tmp/evaluation-result-4248051-1500691292/solver-4248051-1500691292 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 123426582 HOME/instance-4248051-1500691292.xml 

pid=11297
running on 8 cores: 4-7,12-15

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.96 15.44 14.16 10/276 11300
/proc/meminfo: memFree=29676980/32770624 swapFree=5944/262476
[pid=11300] ppid=11297 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11300/stat : 11300 (xcsp3-exec) S 11297 11300 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4396401 9740288 346 33554432000 4194304 5098028 140735547454384 140735547452488 140665111237244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23068672 140735547458703 140735547458912 140735547458912 140735547461611 0
/proc/11300/statm: 2378 346 289 221 0 87 0

[startup+0.100135 s]
/proc/loadavg: 14.96 15.44 14.16 10/276 11300
/proc/meminfo: memFree=29676980/32770624 swapFree=5944/262476
[pid=11300] ppid=11297 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11300/stat : 11300 (xcsp3-exec) S 11297 11300 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4396401 9740288 346 33554432000 4194304 5098028 140735547454384 140735547452488 140665111237244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23068672 140735547458703 140735547458912 140735547458912 140735547461611 0
/proc/11300/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200292 s]
/proc/loadavg: 14.96 15.44 14.16 10/276 11300
/proc/meminfo: memFree=29676980/32770624 swapFree=5944/262476
[pid=11300] ppid=11297 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11300/stat : 11300 (xcsp3-exec) S 11297 11300 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4396401 9740288 346 33554432000 4194304 5098028 140735547454384 140735547452488 140665111237244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23068672 140735547458703 140735547458912 140735547458912 140735547461611 0
/proc/11300/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300345 s]
/proc/loadavg: 14.96 15.44 14.16 10/276 11300
/proc/meminfo: memFree=29676980/32770624 swapFree=5944/262476
[pid=11300] ppid=11297 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11300/stat : 11300 (xcsp3-exec) S 11297 11300 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4396401 9740288 346 33554432000 4194304 5098028 140735547454384 140735547452488 140665111237244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23068672 140735547458703 140735547458912 140735547458912 140735547461611 0
/proc/11300/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700221 s]
/proc/loadavg: 14.96 15.44 14.16 10/276 11300
/proc/meminfo: memFree=29676980/32770624 swapFree=5944/262476
[pid=11300] ppid=11297 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11300/stat : 11300 (xcsp3-exec) S 11297 11300 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4396401 9740288 346 33554432000 4194304 5098028 140735547454384 140735547452488 140665111237244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23068672 140735547458703 140735547458912 140735547458912 140735547461611 0
/proc/11300/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.5021 s]
/proc/loadavg: 14.96 15.44 14.16 10/297 11321
/proc/meminfo: memFree=29413820/32770624 swapFree=5944/262528
[pid=11300] ppid=11297 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11300/stat : 11300 (xcsp3-exec) S 11297 11300 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4396401 9740288 346 33554432000 4194304 5098028 140735547454384 140735547452488 140665111237244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23068672 140735547458703 140735547458912 140735547458912 140735547461611 0
/proc/11300/statm: 2378 346 289 221 0 87 0
[pid=11301] ppid=11300 vsize=13269256 CPUtime=4.49 cores=4-7,12-15
/proc/11301/stat : 11301 (java) S 11300 11300 18810 0 -1 1077944320 14859 0 0 0 325 124 0 0 20 0 20 0 4396402 13587718144 99028 33554432000 4194304 4196468 140720711914464 140720711897008 140107038252791 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
/proc/11301/statm: 3317314 99028 3228 1 0 3304547 0
[pid=11301/tid=11302] ppid=11300 vsize=13269256 CPUtime=1.24 cores=4-7,12-15
/proc/11301/task/11302/stat : 11302 (java) S 11300 11300 18810 0 -1 1077944384 6879 0 0 0 120 4 0 0 20 0 20 0 4396402 13587718144 99028 33554432000 4194304 4196468 140720711914464 140107042489600 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11304] ppid=11300 vsize=13269256 CPUtime=0.22 cores=4-7,12-15
/proc/11301/task/11304/stat : 11304 (java) R 11300 11300 18810 0 -1 4202560 111 0 0 0 8 14 0 0 20 0 20 0 4396403 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106637179608 140107031357429 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11305] ppid=11300 vsize=13269256 CPUtime=0.21 cores=4-7,12-15
/proc/11301/task/11305/stat : 11305 (java) R 11300 11300 18810 0 -1 4202560 109 0 0 0 8 13 0 0 20 0 20 0 4396403 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106636127064 140107031357429 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11306] ppid=11300 vsize=13269256 CPUtime=0.21 cores=4-7,12-15
/proc/11301/task/11306/stat : 11306 (java) R 11300 11300 18810 0 -1 4202560 104 0 0 0 7 14 0 0 20 0 20 0 4396403 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106635074008 140107031357429 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11307] ppid=11300 vsize=13269256 CPUtime=0.22 cores=4-7,12-15
/proc/11301/task/11307/stat : 11307 (java) R 11300 11300 18810 0 -1 4202560 132 0 0 0 7 15 0 0 20 0 20 0 4396403 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106634021464 140107031357429 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11308] ppid=11300 vsize=13269256 CPUtime=0.21 cores=4-7,12-15
/proc/11301/task/11308/stat : 11308 (java) R 11300 11300 18810 0 -1 4202560 111 0 0 0 7 14 0 0 20 0 20 0 4396403 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106632969432 140107031357429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11309] ppid=11300 vsize=13269256 CPUtime=0.2 cores=4-7,12-15
/proc/11301/task/11309/stat : 11309 (java) R 11300 11300 18810 0 -1 4202560 100 0 0 0 7 13 0 0 20 0 20 0 4396403 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106631916888 140107031357429 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11310] ppid=11300 vsize=13269256 CPUtime=0.2 cores=4-7,12-15
/proc/11301/task/11310/stat : 11310 (java) R 11300 11300 18810 0 -1 4202560 110 0 0 0 6 14 0 0 20 0 20 0 4396403 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106630863520 140107031357459 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11311] ppid=11300 vsize=13269256 CPUtime=0.21 cores=4-7,12-15
/proc/11301/task/11311/stat : 11311 (java) R 11300 11300 18810 0 -1 4202560 109 0 0 0 7 14 0 0 20 0 20 0 4396403 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106629811288 140107019878585 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11312] ppid=11300 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11312/stat : 11312 (java) S 11300 11300 18810 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 4396405 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106231984928 140107038262997 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11313] ppid=11300 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11313/stat : 11313 (java) S 11300 11300 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4396406 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106230932640 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11314] ppid=11300 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11314/stat : 11314 (java) S 11300 11300 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4396406 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106229879536 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11315] ppid=11300 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11315/stat : 11315 (java) S 11300 11300 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4396411 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106228828112 140107038271387 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11316] ppid=11300 vsize=13269256 CPUtime=0.3 cores=4-7,12-15
/proc/11301/task/11316/stat : 11316 (java) S 11300 11300 18810 0 -1 1077944384 1483 0 0 0 30 0 0 0 20 0 20 0 4396411 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106227776240 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11317] ppid=11300 vsize=13269256 CPUtime=0.33 cores=4-7,12-15
/proc/11301/task/11317/stat : 11317 (java) S 11300 11300 18810 0 -1 1077944384 1497 0 0 0 33 0 0 0 20 0 20 0 4396411 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106226723696 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11318] ppid=11300 vsize=13269256 CPUtime=0.35 cores=4-7,12-15
/proc/11301/task/11318/stat : 11318 (java) S 11300 11300 18810 0 -1 1077944384 1122 0 0 0 35 0 0 0 20 0 20 0 4396411 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106225655632 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11319] ppid=11300 vsize=13269256 CPUtime=0.45 cores=4-7,12-15
/proc/11301/task/11319/stat : 11319 (java) S 11300 11300 18810 0 -1 1077944384 1619 0 0 0 45 0 0 0 20 0 20 0 4396411 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106224618096 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11320] ppid=11300 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11320/stat : 11320 (java) S 11300 11300 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4396411 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106223565280 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11321] ppid=11300 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11321/stat : 11321 (java) S 11300 11300 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4396411 13587718144 99028 33554432000 4194304 4196468 140720711914464 140106222512816 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 13278768

[startup+3.10079 s]
/proc/loadavg: 14.96 15.44 14.16 17/297 11321
/proc/meminfo: memFree=28913652/32770624 swapFree=5944/262528
[pid=11300] ppid=11297 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11300/stat : 11300 (xcsp3-exec) S 11297 11300 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4396401 9740288 346 33554432000 4194304 5098028 140735547454384 140735547452488 140665111237244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23068672 140735547458703 140735547458912 140735547458912 140735547461611 0
/proc/11300/statm: 2378 346 289 221 0 87 0
[pid=11301] ppid=11300 vsize=13269256 CPUtime=11.31 cores=4-7,12-15
/proc/11301/stat : 11301 (java) S 11300 11300 18810 0 -1 1077944320 25779 0 0 0 840 291 0 0 20 0 20 0 4396402 13587718144 211116 33554432000 4194304 4196468 140720711914464 140720711897008 140107038252791 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
/proc/11301/statm: 3317314 211116 3248 1 0 3304547 0
[pid=11301/tid=11302] ppid=11300 vsize=13269256 CPUtime=2.12 cores=4-7,12-15
/proc/11301/task/11302/stat : 11302 (java) S 11300 11300 18810 0 -1 1077944384 6967 0 0 0 206 6 0 0 20 0 20 0 4396402 13587718144 211116 33554432000 4194304 4196468 140720711914464 140107042490656 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11304] ppid=11300 vsize=13269256 CPUtime=0.9 cores=4-7,12-15
/proc/11301/task/11304/stat : 11304 (java) R 11300 11300 18810 0 -1 4202560 1394 0 0 0 55 35 0 0 20 0 20 0 4396403 13587718144 211116 33554432000 4194304 4196468 140720711914464 140106637179608 140107019878550 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11305] ppid=11300 vsize=13269256 CPUtime=0.91 cores=4-7,12-15
/proc/11301/task/11305/stat : 11305 (java) R 11300 11300 18810 0 -1 4202560 1324 0 0 0 57 34 0 0 20 0 20 0 4396403 13587718144 211116 33554432000 4194304 4196468 140720711914464 140106636127064 140107023276867 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11306] ppid=11300 vsize=13269256 CPUtime=0.91 cores=4-7,12-15
/proc/11301/task/11306/stat : 11306 (java) R 11300 11300 18810 0 -1 4202560 1303 0 0 0 56 35 0 0 20 0 20 0 4396403 13587718144 211155 33554432000 4194304 4196468 140720711914464 140106635074008 140107031357429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11307] ppid=11300 vsize=13269256 CPUtime=0.91 cores=4-7,12-15
/proc/11301/task/11307/stat : 11307 (java) R 11300 11300 18810 0 -1 4202560 1568 0 0 0 57 34 0 0 20 0 20 0 4396403 13587718144 211155 33554432000 4194304 4196468 140720711914464 140106634021464 140107031357429 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11308] ppid=11300 vsize=13269256 CPUtime=0.9 cores=4-7,12-15
/proc/11301/task/11308/stat : 11308 (java) R 11300 11300 18810 0 -1 4202560 1320 0 0 0 55 35 0 0 20 0 20 0 4396403 13587718144 211155 33554432000 4194304 4196468 140720711914464 140106632969432 140107031357429 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11309] ppid=11300 vsize=13269256 CPUtime=0.9 cores=4-7,12-15
/proc/11301/task/11309/stat : 11309 (java) R 11300 11300 18810 0 -1 4202560 1387 0 0 0 56 34 0 0 20 0 20 0 4396403 13587718144 211155 33554432000 4194304 4196468 140720711914464 140106631916888 140107031357429 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11310] ppid=11300 vsize=13269256 CPUtime=0.9 cores=4-7,12-15
/proc/11301/task/11310/stat : 11310 (java) R 11300 11300 18810 0 -1 4202560 1344 0 0 0 55 35 0 0 20 0 20 0 4396403 13587718144 211155 33554432000 4194304 4196468 140720711914464 140106630863520 140107017447930 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11311] ppid=11300 vsize=13269256 CPUtime=0.87 cores=4-7,12-15
/proc/11301/task/11311/stat : 11311 (java) R 11300 11300 18810 0 -1 4202560 1399 0 0 0 54 33 0 0 20 0 20 0 4396403 13587718144 211155 33554432000 4194304 4196468 140720711914464 140106629811288 140107023274912 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11312] ppid=11300 vsize=13269256 CPUtime=0.02 cores=4-7,12-15
/proc/11301/task/11312/stat : 11312 (java) S 11300 11300 18810 0 -1 1077944384 622 0 0 0 2 0 0 0 20 0 20 0 4396405 13587718144 211155 33554432000 4194304 4196468 140720711914464 140106231984928 140107038262997 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11313] ppid=11300 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11313/stat : 11313 (java) S 11300 11300 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4396406 13587718144 211667 33554432000 4194304 4196468 140720711914464 140106230932704 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11314] ppid=11300 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11314/stat : 11314 (java) S 11300 11300 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4396406 13587718144 211667 33554432000 4194304 4196468 140720711914464 140106229879552 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11315] ppid=11300 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11315/stat : 11315 (java) S 11300 11300 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4396411 13587718144 211667 33554432000 4194304 4196468 140720711914464 140106228828112 140107038271387 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11316] ppid=11300 vsize=13269256 CPUtime=0.43 cores=4-7,12-15
/proc/11301/task/11316/stat : 11316 (java) S 11300 11300 18810 0 -1 1077944384 1522 0 0 0 43 0 0 0 20 0 20 0 4396411 13587718144 211667 33554432000 4194304 4196468 140720711914464 140106227776240 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11317] ppid=11300 vsize=13269256 CPUtime=0.47 cores=4-7,12-15
/proc/11301/task/11317/stat : 11317 (java) S 11300 11300 18810 0 -1 1077944384 1526 0 0 0 47 0 0 0 20 0 20 0 4396411 13587718144 211667 33554432000 4194304 4196468 140720711914464 140106226723696 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11318] ppid=11300 vsize=13269256 CPUtime=0.45 cores=4-7,12-15
/proc/11301/task/11318/stat : 11318 (java) S 11300 11300 18810 0 -1 1077944384 1153 0 0 0 45 0 0 0 20 0 20 0 4396411 13587718144 211667 33554432000 4194304 4196468 140720711914464 140106225670640 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11319] ppid=11300 vsize=13269256 CPUtime=0.49 cores=4-7,12-15
/proc/11301/task/11319/stat : 11319 (java) S 11300 11300 18810 0 -1 1077944384 1654 0 0 0 48 1 0 0 20 0 20 0 4396411 13587718144 211667 33554432000 4194304 4196468 140720711914464 140106224618096 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11320] ppid=11300 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11320/stat : 11320 (java) S 11300 11300 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4396411 13587718144 211667 33554432000 4194304 4196468 140720711914464 140106223565280 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11321] ppid=11300 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11321/stat : 11321 (java) S 11300 11300 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4396411 13587718144 211667 33554432000 4194304 4196468 140720711914464 140106222512816 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
Current children cumulated CPU time (s) 11.31
Current children cumulated vsize (KiB) 13278768

[startup+6.30086 s]
/proc/loadavg: 14.89 15.42 14.16 17/297 11321
/proc/meminfo: memFree=28123888/32770624 swapFree=5944/262528
[pid=11300] ppid=11297 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11300/stat : 11300 (xcsp3-exec) S 11297 11300 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4396401 9740288 346 33554432000 4194304 5098028 140735547454384 140735547452488 140665111237244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23068672 140735547458703 140735547458912 140735547458912 140735547461611 0
/proc/11300/statm: 2378 346 289 221 0 87 0
[pid=11301] ppid=11300 vsize=13269256 CPUtime=27.62 cores=4-7,12-15
/proc/11301/stat : 11301 (java) S 11300 11300 18810 0 -1 1077944320 39408 0 0 0 2147 615 0 0 20 0 20 0 4396402 13587718144 391257 33554432000 4194304 4196468 140720711914464 140720711897008 140107038252791 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
/proc/11301/statm: 3317314 391257 3274 1 0 3304547 0
[pid=11301/tid=11302] ppid=11300 vsize=13269256 CPUtime=3.4 cores=4-7,12-15
/proc/11301/task/11302/stat : 11302 (java) R 11300 11300 18810 0 -1 4202560 8549 0 0 0 332 8 0 0 20 0 20 0 4396402 13587718144 391257 33554432000 4194304 4196468 140720711914464 140107042489784 140106677693683 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11304] ppid=11300 vsize=13269256 CPUtime=2.72 cores=4-7,12-15
/proc/11301/task/11304/stat : 11304 (java) S 11300 11300 18810 0 -1 1077944384 1789 0 0 0 197 75 0 0 20 0 20 0 4396403 13587718144 391257 33554432000 4194304 4196468 140720711914464 140106637179408 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11305] ppid=11300 vsize=13269256 CPUtime=2.71 cores=4-7,12-15
/proc/11301/task/11305/stat : 11305 (java) S 11300 11300 18810 0 -1 1077944384 1781 0 0 0 197 74 0 0 20 0 20 0 4396403 13587718144 391257 33554432000 4194304 4196468 140720711914464 140106636126864 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11306] ppid=11300 vsize=13269256 CPUtime=2.72 cores=4-7,12-15
/proc/11301/task/11306/stat : 11306 (java) S 11300 11300 18810 0 -1 1077944384 1877 0 0 0 196 76 0 0 20 0 20 0 4396403 13587718144 391257 33554432000 4194304 4196468 140720711914464 140106635073808 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11307] ppid=11300 vsize=13269256 CPUtime=2.72 cores=4-7,12-15
/proc/11301/task/11307/stat : 11307 (java) S 11300 11300 18810 0 -1 1077944384 2118 0 0 0 197 75 0 0 20 0 20 0 4396403 13587718144 391257 33554432000 4194304 4196468 140720711914464 140106634021264 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11308] ppid=11300 vsize=13269256 CPUtime=2.71 cores=4-7,12-15
/proc/11301/task/11308/stat : 11308 (java) S 11300 11300 18810 0 -1 1077944384 1784 0 0 0 195 76 0 0 20 0 20 0 4396403 13587718144 391257 33554432000 4194304 4196468 140720711914464 140106632969232 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11309] ppid=11300 vsize=13269256 CPUtime=2.67 cores=4-7,12-15
/proc/11301/task/11309/stat : 11309 (java) S 11300 11300 18810 0 -1 1077944384 1930 0 0 0 194 73 0 0 20 0 20 0 4396403 13587718144 391257 33554432000 4194304 4196468 140720711914464 140106631916688 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11310] ppid=11300 vsize=13269256 CPUtime=2.7 cores=4-7,12-15
/proc/11301/task/11310/stat : 11310 (java) S 11300 11300 18810 0 -1 1077944384 1996 0 0 0 195 75 0 0 20 0 20 0 4396403 13587718144 391257 33554432000 4194304 4196468 140720711914464 140106630863632 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11311] ppid=11300 vsize=13269256 CPUtime=2.67 cores=4-7,12-15
/proc/11301/task/11311/stat : 11311 (java) S 11300 11300 18810 0 -1 1077944384 1913 0 0 0 194 73 0 0 20 0 20 0 4396403 13587718144 391257 33554432000 4194304 4196468 140720711914464 140106629811088 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11312] ppid=11300 vsize=13269256 CPUtime=0.04 cores=4-7,12-15
/proc/11301/task/11312/stat : 11312 (java) S 11300 11300 18810 0 -1 1077944384 3878 0 0 0 4 0 0 0 20 0 20 0 4396405 13587718144 391257 33554432000 4194304 4196468 140720711914464 140106231986416 140107038263938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11313] ppid=11300 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11313/stat : 11313 (java) S 11300 11300 18810 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 4396406 13587718144 391257 33554432000 4194304 4196468 140720711914464 140106230932704 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11314] ppid=11300 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11314/stat : 11314 (java) S 11300 11300 18810 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4396406 13587718144 391257 33554432000 4194304 4196468 140720711914464 140106229879552 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11315] ppid=11300 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11315/stat : 11315 (java) S 11300 11300 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4396411 13587718144 391257 33554432000 4194304 4196468 140720711914464 140106228828112 140107038271387 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0

################
# More data... #
################

/proc/11301/task/11320/stat : 11320 (java) S 11300 11300 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4396411 14133010432 507711 33554432000 4194304 4196468 140720711914464 140106223565280 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11321] ppid=11300 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11321/stat : 11321 (java) S 11300 11300 18810 0 -1 1077944384 796 0 0 0 0 0 0 0 20 0 28 0 4396411 14133010432 507711 33554432000 4194304 4196468 140720711914464 140106222512816 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 12 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11322] ppid=11300 vsize=13801768 CPUtime=9.59 cores=4-7,12-15
/proc/11301/task/11322/stat : 11322 (java) R 11300 11300 18810 0 -1 4202560 844 0 0 0 959 0 0 0 20 0 28 0 4397059 14133010432 507711 33554432000 4194304 4196468 140720711914464 140106214496384 140106681879308 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11323] ppid=11300 vsize=13801768 CPUtime=9.47 cores=4-7,12-15
/proc/11301/task/11323/stat : 11323 (java) R 11300 11300 18810 0 -1 4202560 3263 0 0 0 947 0 0 0 20 0 28 0 4397059 14133010432 507711 33554432000 4194304 4196468 140720711914464 140106213445224 140106681878366 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11324] ppid=11300 vsize=13801768 CPUtime=9.58 cores=4-7,12-15
/proc/11301/task/11324/stat : 11324 (java) R 11300 11300 18810 0 -1 4202560 656 0 0 0 958 0 0 0 20 0 28 0 4397059 14133010432 507711 33554432000 4194304 4196468 140720711914464 140106212393640 140106681878428 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11325] ppid=11300 vsize=13801768 CPUtime=9.44 cores=4-7,12-15
/proc/11301/task/11325/stat : 11325 (java) R 11300 11300 18810 0 -1 4202560 7944 0 0 0 943 1 0 0 20 0 28 0 4397059 14133010432 507711 33554432000 4194304 4196468 140720711914464 140106211340648 140106681878286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11326] ppid=11300 vsize=13801768 CPUtime=9.59 cores=4-7,12-15
/proc/11301/task/11326/stat : 11326 (java) R 11300 11300 18810 0 -1 4202560 454 0 0 0 959 0 0 0 20 0 28 0 4397059 14133010432 507711 33554432000 4194304 4196468 140720711914464 140106210286912 140106681906351 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11327] ppid=11300 vsize=13801768 CPUtime=9.54 cores=4-7,12-15
/proc/11301/task/11327/stat : 11327 (java) R 11300 11300 18810 0 -1 4202560 255 0 0 0 954 0 0 0 20 0 28 0 4397059 14133010432 507711 33554432000 4194304 4196468 140720711914464 140106209235648 140106681878379 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11328] ppid=11300 vsize=13801768 CPUtime=9.59 cores=4-7,12-15
/proc/11301/task/11328/stat : 11328 (java) R 11300 11300 18810 0 -1 4202560 950 0 0 0 959 0 0 0 20 0 28 0 4397059 14133010432 507711 33554432000 4194304 4196468 140720711914464 140106208181592 140106681878300 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11329] ppid=11300 vsize=13801768 CPUtime=9.72 cores=4-7,12-15
/proc/11301/task/11329/stat : 11329 (java) R 11300 11300 18810 0 -1 4202560 2058 0 0 0 972 0 0 0 20 0 28 0 4397059 14133010432 507711 33554432000 4194304 4196468 140720711914464 140106207131672 140106681878262 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
Current children cumulated CPU time (s) 109.53
Current children cumulated vsize (KiB) 13811280

[startup+17.6014 s]
/proc/loadavg: 15.06 15.44 14.18 15/305 11329
/proc/meminfo: memFree=27746916/32770624 swapFree=5944/262552
[pid=11300] ppid=11297 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11300/stat : 11300 (xcsp3-exec) S 11297 11300 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4396401 9740288 346 33554432000 4194304 5098028 140735547454384 140735547452488 140665111237244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23068672 140735547458703 140735547458912 140735547458912 140735547461611 0
/proc/11300/statm: 2378 346 289 221 0 87 0
[pid=11301] ppid=11300 vsize=13801768 CPUtime=115.92 cores=4-7,12-15
/proc/11301/stat : 11301 (java) S 11300 11300 18810 0 -1 1077944320 71901 0 0 0 10757 835 0 0 20 0 28 0 4396402 14133010432 507788 33554432000 4194304 4196468 140720711914464 140720711897008 140107038252791 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
/proc/11301/statm: 3450442 507788 3281 1 0 3437675 0
[pid=11301/tid=11302] ppid=11300 vsize=13801768 CPUtime=3.67 cores=4-7,12-15
/proc/11301/task/11302/stat : 11302 (java) S 11300 11300 18810 0 -1 1077944384 8705 0 0 0 358 9 0 0 20 0 28 0 4396402 14133010432 507825 33554432000 4194304 4196468 140720711914464 140107042493568 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11304] ppid=11300 vsize=13801768 CPUtime=3.11 cores=4-7,12-15
/proc/11301/task/11304/stat : 11304 (java) S 11300 11300 18810 0 -1 1077944384 2433 0 0 0 210 101 0 0 20 0 28 0 4396403 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106637179408 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11305] ppid=11300 vsize=13801768 CPUtime=3.11 cores=4-7,12-15
/proc/11301/task/11305/stat : 11305 (java) S 11300 11300 18810 0 -1 1077944384 2151 0 0 0 210 101 0 0 20 0 28 0 4396403 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106636126864 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11306] ppid=11300 vsize=13801768 CPUtime=3.11 cores=4-7,12-15
/proc/11301/task/11306/stat : 11306 (java) S 11300 11300 18810 0 -1 1077944384 2340 0 0 0 208 103 0 0 20 0 28 0 4396403 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106635073808 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11307] ppid=11300 vsize=13801768 CPUtime=3.1 cores=4-7,12-15
/proc/11301/task/11307/stat : 11307 (java) S 11300 11300 18810 0 -1 1077944384 2399 0 0 0 209 101 0 0 20 0 28 0 4396403 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106634021264 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11308] ppid=11300 vsize=13801768 CPUtime=3.1 cores=4-7,12-15
/proc/11301/task/11308/stat : 11308 (java) S 11300 11300 18810 0 -1 1077944384 2064 0 0 0 208 102 0 0 20 0 28 0 4396403 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106632969232 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11309] ppid=11300 vsize=13801768 CPUtime=3.07 cores=4-7,12-15
/proc/11301/task/11309/stat : 11309 (java) S 11300 11300 18810 0 -1 1077944384 2138 0 0 0 206 101 0 0 20 0 28 0 4396403 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106631916688 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11310] ppid=11300 vsize=13801768 CPUtime=3.1 cores=4-7,12-15
/proc/11301/task/11310/stat : 11310 (java) S 11300 11300 18810 0 -1 1077944384 3238 0 0 0 207 103 0 0 20 0 28 0 4396403 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106630863632 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11311] ppid=11300 vsize=13801768 CPUtime=3.06 cores=4-7,12-15
/proc/11301/task/11311/stat : 11311 (java) S 11300 11300 18810 0 -1 1077944384 2240 0 0 0 207 99 0 0 20 0 28 0 4396403 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106629811088 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11312] ppid=11300 vsize=13801768 CPUtime=0.05 cores=4-7,12-15
/proc/11301/task/11312/stat : 11312 (java) S 11300 11300 18810 0 -1 1077944384 4285 0 0 0 5 0 0 0 20 0 28 0 4396405 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106231986416 140107038263938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11313] ppid=11300 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11313/stat : 11313 (java) S 11300 11300 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4396406 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106230932704 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11314] ppid=11300 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11314/stat : 11314 (java) S 11300 11300 18810 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 4396406 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106229879552 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11315] ppid=11300 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11315/stat : 11315 (java) S 11300 11300 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4396411 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106228828112 140107038271387 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11316] ppid=11300 vsize=13801768 CPUtime=1.49 cores=4-7,12-15
/proc/11301/task/11316/stat : 11316 (java) R 11300 11300 18810 0 -1 4202560 5474 0 0 0 149 0 0 0 20 0 28 0 4396411 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106227762464 140107017499004 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11317] ppid=11300 vsize=13801768 CPUtime=1.41 cores=4-7,12-15
/proc/11301/task/11317/stat : 11317 (java) R 11300 11300 18810 0 -1 4202560 5345 0 0 0 140 1 0 0 20 0 28 0 4396411 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106226710624 140107019770662 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11318] ppid=11300 vsize=13801768 CPUtime=1.62 cores=4-7,12-15
/proc/11301/task/11318/stat : 11318 (java) R 11300 11300 18810 0 -1 4202560 5952 0 0 0 161 1 0 0 20 0 28 0 4396411 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106225663128 140107019780826 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11319] ppid=11300 vsize=13801768 CPUtime=0.66 cores=4-7,12-15
/proc/11301/task/11319/stat : 11319 (java) S 11300 11300 18810 0 -1 1077944384 2853 0 0 0 65 1 0 0 20 0 28 0 4396411 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106224618096 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11320] ppid=11300 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11320/stat : 11320 (java) S 11300 11300 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4396411 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106223565280 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11321] ppid=11300 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11321/stat : 11321 (java) S 11300 11300 18810 0 -1 1077944384 796 0 0 0 0 0 0 0 20 0 28 0 4396411 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106222512816 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 12 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11322] ppid=11300 vsize=13801768 CPUtime=10.3 cores=4-7,12-15
/proc/11301/task/11322/stat : 11322 (java) S 11300 11300 18810 0 -1 1077944384 850 0 0 0 1030 0 0 0 20 0 28 0 4397059 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106214501808 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11323] ppid=11300 vsize=13801768 CPUtime=10.17 cores=4-7,12-15
/proc/11301/task/11323/stat : 11323 (java) R 11300 11300 18810 0 -1 4202560 3264 0 0 0 1017 0 0 0 20 0 28 0 4397059 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106213448016 140106682155547 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11324] ppid=11300 vsize=13801768 CPUtime=10.25 cores=4-7,12-15
/proc/11301/task/11324/stat : 11324 (java) S 11300 11300 18810 0 -1 1077944384 662 0 0 0 1025 0 0 0 20 0 28 0 4397059 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106212398544 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11325] ppid=11300 vsize=13801768 CPUtime=10.22 cores=4-7,12-15
/proc/11301/task/11325/stat : 11325 (java) R 11300 11300 18810 0 -1 4202560 9643 0 0 0 1021 1 0 0 20 0 28 0 4397059 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106211340976 140106681774919 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11326] ppid=11300 vsize=13801768 CPUtime=10.21 cores=4-7,12-15
/proc/11301/task/11326/stat : 11326 (java) R 11300 11300 18810 0 -1 4202560 455 0 0 0 1021 0 0 0 20 0 28 0 4397059 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106210287736 140106681774938 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11327] ppid=11300 vsize=13801768 CPUtime=10.22 cores=4-7,12-15
/proc/11301/task/11327/stat : 11327 (java) S 11300 11300 18810 0 -1 1077944384 258 0 0 0 1022 0 0 0 20 0 28 0 4397059 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106209240400 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11328] ppid=11300 vsize=13801768 CPUtime=10.3 cores=4-7,12-15
/proc/11301/task/11328/stat : 11328 (java) S 11300 11300 18810 0 -1 1077944384 964 0 0 0 1030 0 0 0 20 0 28 0 4397059 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106208187344 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11329] ppid=11300 vsize=13801768 CPUtime=10.39 cores=4-7,12-15
/proc/11301/task/11329/stat : 11329 (java) S 11300 11300 18810 0 -1 1077944384 2178 0 0 0 1039 0 0 0 20 0 28 0 4397059 14133010432 507825 33554432000 4194304 4196468 140720711914464 140106207134800 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
Current children cumulated CPU time (s) 115.92
Current children cumulated vsize (KiB) 13811280

[startup+18.0011 s]
/proc/loadavg: 15.06 15.44 14.18 15/305 11329
/proc/meminfo: memFree=27746916/32770624 swapFree=5944/262552
[pid=11300] ppid=11297 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11300/stat : 11300 (xcsp3-exec) S 11297 11300 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4396401 9740288 346 33554432000 4194304 5098028 140735547454384 140735547452488 140665111237244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23068672 140735547458703 140735547458912 140735547458912 140735547461611 0
/proc/11300/statm: 2378 346 289 221 0 87 0
[pid=11301] ppid=11300 vsize=13801768 CPUtime=116.94 cores=4-7,12-15
/proc/11301/stat : 11301 (java) S 11300 11300 18810 0 -1 1077944320 72395 0 0 0 10859 835 0 0 20 0 28 0 4396402 14133010432 507853 33554432000 4194304 4196468 140720711914464 140720711897008 140107038252791 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
/proc/11301/statm: 3450442 507853 3281 1 0 3437675 0
[pid=11301/tid=11302] ppid=11300 vsize=13801768 CPUtime=3.67 cores=4-7,12-15
/proc/11301/task/11302/stat : 11302 (java) S 11300 11300 18810 0 -1 1077944384 8705 0 0 0 358 9 0 0 20 0 28 0 4396402 14133010432 507853 33554432000 4194304 4196468 140720711914464 140107042493568 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11304] ppid=11300 vsize=13801768 CPUtime=3.11 cores=4-7,12-15
/proc/11301/task/11304/stat : 11304 (java) S 11300 11300 18810 0 -1 1077944384 2433 0 0 0 210 101 0 0 20 0 28 0 4396403 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106637179408 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11305] ppid=11300 vsize=13801768 CPUtime=3.11 cores=4-7,12-15
/proc/11301/task/11305/stat : 11305 (java) S 11300 11300 18810 0 -1 1077944384 2151 0 0 0 210 101 0 0 20 0 28 0 4396403 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106636126864 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11306] ppid=11300 vsize=13801768 CPUtime=3.11 cores=4-7,12-15
/proc/11301/task/11306/stat : 11306 (java) S 11300 11300 18810 0 -1 1077944384 2340 0 0 0 208 103 0 0 20 0 28 0 4396403 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106635073808 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11307] ppid=11300 vsize=13801768 CPUtime=3.1 cores=4-7,12-15
/proc/11301/task/11307/stat : 11307 (java) S 11300 11300 18810 0 -1 1077944384 2399 0 0 0 209 101 0 0 20 0 28 0 4396403 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106634021264 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11308] ppid=11300 vsize=13801768 CPUtime=3.1 cores=4-7,12-15
/proc/11301/task/11308/stat : 11308 (java) S 11300 11300 18810 0 -1 1077944384 2064 0 0 0 208 102 0 0 20 0 28 0 4396403 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106632969232 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11309] ppid=11300 vsize=13801768 CPUtime=3.07 cores=4-7,12-15
/proc/11301/task/11309/stat : 11309 (java) S 11300 11300 18810 0 -1 1077944384 2138 0 0 0 206 101 0 0 20 0 28 0 4396403 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106631916688 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11310] ppid=11300 vsize=13801768 CPUtime=3.1 cores=4-7,12-15
/proc/11301/task/11310/stat : 11310 (java) S 11300 11300 18810 0 -1 1077944384 3238 0 0 0 207 103 0 0 20 0 28 0 4396403 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106630863632 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11311] ppid=11300 vsize=13801768 CPUtime=3.06 cores=4-7,12-15
/proc/11301/task/11311/stat : 11311 (java) S 11300 11300 18810 0 -1 1077944384 2240 0 0 0 207 99 0 0 20 0 28 0 4396403 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106629811088 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11312] ppid=11300 vsize=13801768 CPUtime=0.05 cores=4-7,12-15
/proc/11301/task/11312/stat : 11312 (java) S 11300 11300 18810 0 -1 1077944384 4285 0 0 0 5 0 0 0 20 0 28 0 4396405 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106231986416 140107038263938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11313] ppid=11300 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11313/stat : 11313 (java) S 11300 11300 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4396406 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106230932704 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11314] ppid=11300 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11314/stat : 11314 (java) S 11300 11300 18810 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 4396406 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106229879552 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11315] ppid=11300 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11315/stat : 11315 (java) S 11300 11300 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4396411 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106228828112 140107038271387 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11316] ppid=11300 vsize=13801768 CPUtime=1.67 cores=4-7,12-15
/proc/11301/task/11316/stat : 11316 (java) S 11300 11300 18810 0 -1 1077944384 5592 0 0 0 167 0 0 0 20 0 28 0 4396411 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106227776240 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11317] ppid=11300 vsize=13801768 CPUtime=1.55 cores=4-7,12-15
/proc/11301/task/11317/stat : 11317 (java) S 11300 11300 18810 0 -1 1077944384 5395 0 0 0 154 1 0 0 20 0 28 0 4396411 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106226723696 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11318] ppid=11300 vsize=13801768 CPUtime=1.78 cores=4-7,12-15
/proc/11301/task/11318/stat : 11318 (java) S 11300 11300 18810 0 -1 1077944384 5977 0 0 0 177 1 0 0 20 0 28 0 4396411 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106225670640 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11319] ppid=11300 vsize=13801768 CPUtime=0.66 cores=4-7,12-15
/proc/11301/task/11319/stat : 11319 (java) S 11300 11300 18810 0 -1 1077944384 2854 0 0 0 65 1 0 0 20 0 28 0 4396411 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106224618096 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11320] ppid=11300 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11320/stat : 11320 (java) S 11300 11300 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4396411 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106223565280 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11321] ppid=11300 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11301/task/11321/stat : 11321 (java) S 11300 11300 18810 0 -1 1077944384 796 0 0 0 0 0 0 0 20 0 28 0 4396411 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106222512816 140107038263938 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 12 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11322] ppid=11300 vsize=13801768 CPUtime=10.3 cores=4-7,12-15
/proc/11301/task/11322/stat : 11322 (java) S 11300 11300 18810 0 -1 1077944384 850 0 0 0 1030 0 0 0 20 0 28 0 4397059 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106214501808 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11323] ppid=11300 vsize=13801768 CPUtime=10.22 cores=4-7,12-15
/proc/11301/task/11323/stat : 11323 (java) S 11300 11300 18810 0 -1 1077944384 3264 0 0 0 1022 0 0 0 20 0 28 0 4397059 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106213450576 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11324] ppid=11300 vsize=13801768 CPUtime=10.25 cores=4-7,12-15
/proc/11301/task/11324/stat : 11324 (java) S 11300 11300 18810 0 -1 1077944384 662 0 0 0 1025 0 0 0 20 0 28 0 4397059 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106212398544 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11325] ppid=11300 vsize=13801768 CPUtime=10.61 cores=4-7,12-15
/proc/11301/task/11325/stat : 11325 (java) R 11300 11300 18810 0 -1 4202560 9770 0 0 0 1060 1 0 0 20 0 28 0 4397059 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106211343176 140106682299487 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11326] ppid=11300 vsize=13801768 CPUtime=10.31 cores=4-7,12-15
/proc/11301/task/11326/stat : 11326 (java) S 11300 11300 18810 0 -1 1077944384 459 0 0 0 1031 0 0 0 20 0 28 0 4397059 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106210292944 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11327] ppid=11300 vsize=13801768 CPUtime=10.22 cores=4-7,12-15
/proc/11301/task/11327/stat : 11327 (java) S 11300 11300 18810 0 -1 1077944384 258 0 0 0 1022 0 0 0 20 0 28 0 4397059 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106209240400 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11328] ppid=11300 vsize=13801768 CPUtime=10.3 cores=4-7,12-15
/proc/11301/task/11328/stat : 11328 (java) S 11300 11300 18810 0 -1 1077944384 964 0 0 0 1030 0 0 0 20 0 28 0 4397059 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106208187344 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
[pid=11301/tid=11329] ppid=11300 vsize=13801768 CPUtime=10.39 cores=4-7,12-15
/proc/11301/task/11329/stat : 11329 (java) S 11300 11300 18810 0 -1 1077944384 2178 0 0 0 1039 0 0 0 20 0 28 0 4397059 14133010432 507853 33554432000 4194304 4196468 140720711914464 140106207134800 140107038262997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12357632 140720711922876 140720711923052 140720711923052 140720711925711 0
Current children cumulated CPU time (s) 116.94
Current children cumulated vsize (KiB) 13811280

[startup+18.1011 s]
/proc/loadavg: 15.06 15.44 14.18 15/305 11329
/proc/meminfo: memFree=27746916/32770624 swapFree=5944/262552
[pid=11300] ppid=11297 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11300/stat : 11300 (xcsp3-exec) S 11297 11300 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4396401 9740288 346 33554432000 4194304 5098028 140735547454384 140735547452488 140665111237244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23068672 140735547458703 140735547458912 140735547458912 140735547461611 0
/proc/11300/statm: 2378 346 289 221 0 87 0
[pid=11301] ppid=11300 vsize=0 CPUtime=117.13 cores=4-7,12-15
/proc/11301/stat : 11301 (java) Z 11300 11300 18810 0 -1 4227084 72985 0 0 0 10877 836 0 0 20 0 2 0 4396402 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/11301/statm: 0 0 0 0 0 0 0
[pid=11301/tid=11319] ppid=11300 vsize=0 CPUtime=0.67 cores=4-7,12-15
/proc/11301/task/11319/stat : 11319 (java) R 11300 11300 18810 0 -1 4203588 3029 0 0 0 66 1 0 0 20 0 2 0 4396411 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 117.13
Current children cumulated vsize (KiB) 9512

Child status: 0
Real time (s): 18.1125
CPU time (s): 117.154
CPU user time (s): 108.772
CPU system time (s): 8.38158
CPU usage (%): 646.814
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108.772
system time used= 8.38158
maximum resident set size= 2031576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73515
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6004
involuntary context switches= 7938

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.216749 second user time and 0.214856 second system time

The end

Begin job on node132 at 2017-07-22 04:41:32
IDJOB=4248051
IDBENCH=131533
IDSOLVER=2625
FILE ID=node132/4248051-1500691292
RUNJOBID= node132-1500682387-18842
PBS_JOBID= 20623322
Free space on /tmp= 61760 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b03-m800-07.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248051-1500691292/watcher-4248051-1500691292 -o /tmp/evaluation-result-4248051-1500691292/solver-4248051-1500691292 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 123426582 HOME/instance-4248051-1500691292.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 98d2d58aab7f5f40944baaa5254cf1ac
RANDOM SEED=123426582

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29677096 kB
MemAvailable:   29849700 kB
Buffers:          114520 kB
Cached:           338468 kB
SwapCached:            0 kB
Active:          2385872 kB
Inactive:         271092 kB
Active(anon):    2206920 kB
Inactive(anon):     8616 kB
Active(file):     178952 kB
Inactive(file):   262476 kB
Unevictable:        5944 kB
Mlocked:            5944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7824 kB
Writeback:           304 kB
AnonPages:       2214184 kB
Mapped:            43172 kB
Shmem:              8872 kB
Slab:             128788 kB
SReclaimable:      94024 kB
SUnreclaim:        34764 kB
KernelStack:        4976 kB
PageTables:         9480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2971396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2076672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61752 MiB
End job on node132 at 2017-07-22 04:41:51

Name	Subisomorphism/Subisomorphism-m1-si6-bvg/ Subisomorphism-si6-b03-m800-07.xml
MD5SUM	98d2d58aab7f5f40944baaa5254cf1ac
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.61332101
Satisfiable
(Un)Satisfiability was proved
Number of variables	480
Number of constraints	718
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":480}]
Minimum variable degree	2
Maximum variable degree	4
Distribution of variable degrees	[{"degree":2,"count":2},{"degree":3,"count":2},{"degree":4,"count":476}]
Minimum constraint arity	2
Maximum constraint arity	480
Distribution of constraint arities	[{"arity":2,"count":717},{"arity":480,"count":1}]
Number of extensional constraints	717
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":717},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective

Trace number 4248051

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data