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-4254257-1501611201/watcher-4254257-1501611201 -o /tmp/evaluation-result-4254257-1501611201/solver-4254257-1501611201 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3274 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 162340213 HOME/instance-4254257-1501611201.xml
pid=3295
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 0.03 0.04 0.05 3/187 3302
/proc/meminfo: memFree=32175376/32770624 swapFree=0/110000
[pid=3300] ppid=3295 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/3300/stat : 3300 (runsolver) D 3295 3300 3187 34816 3187 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3030760 24240128 106 18446744073709551615 4194304 4338465 140721048065696 140721048063336 139954198225623 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 11821056 140721048072287 140721048072775 140721048072775 140721048076234 0
/proc/3300/statm: 5918 106 53 36 0 2156 0
[startup+0.100108 s]
/proc/loadavg: 0.03 0.04 0.05 3/187 3302
/proc/meminfo: memFree=32175376/32770624 swapFree=0/110000
[pid=3300] ppid=3295 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3300/stat : 3300 (xcsp3-exec) S 3295 3300 3187 34816 3187 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3030760 9740288 345 18446744073709551615 4194304 5098028 140732046498064 140732046496168 140463715500668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 24555520 140732046504349 140732046504552 140732046504552 140732046508011 0
/proc/3300/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20038 s]
/proc/loadavg: 0.03 0.04 0.05 3/187 3302
/proc/meminfo: memFree=32175376/32770624 swapFree=0/110000
[pid=3300] ppid=3295 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3300/stat : 3300 (xcsp3-exec) S 3295 3300 3187 34816 3187 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3030760 9740288 345 18446744073709551615 4194304 5098028 140732046498064 140732046496168 140463715500668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 24555520 140732046504349 140732046504552 140732046504552 140732046508011 0
/proc/3300/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300304 s]
/proc/loadavg: 0.03 0.04 0.05 3/187 3302
/proc/meminfo: memFree=32175376/32770624 swapFree=0/110000
[pid=3300] ppid=3295 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3300/stat : 3300 (xcsp3-exec) S 3295 3300 3187 34816 3187 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3030760 9740288 345 18446744073709551615 4194304 5098028 140732046498064 140732046496168 140463715500668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 24555520 140732046504349 140732046504552 140732046504552 140732046508011 0
/proc/3300/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700117 s]
/proc/loadavg: 0.03 0.04 0.05 3/187 3302
/proc/meminfo: memFree=32175376/32770624 swapFree=0/110000
[pid=3300] ppid=3295 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3300/stat : 3300 (xcsp3-exec) S 3295 3300 3187 34816 3187 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3030760 9740288 345 18446744073709551615 4194304 5098028 140732046498064 140732046496168 140463715500668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 24555520 140732046504349 140732046504552 140732046504552 140732046508011 0
/proc/3300/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50262 s]
/proc/loadavg: 0.03 0.04 0.05 2/219 3334
/proc/meminfo: memFree=32068108/32770624 swapFree=0/140452
[pid=3300] ppid=3295 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3300/stat : 3300 (xcsp3-exec) S 3295 3300 3187 34816 3187 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3030760 9740288 345 18446744073709551615 4194304 5098028 140732046498064 140732046496168 140463715500668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 24555520 140732046504349 140732046504552 140732046504552 140732046508011 0
/proc/3300/statm: 2378 345 289 221 0 87 0
[pid=3305] ppid=3300 vsize=13978684 CPUtime=0.66 cores=1,3,5,7
/proc/3305/stat : 3305 (java) S 3300 3300 3187 34816 3187 1077944320 11036 0 4 0 60 6 0 0 20 0 15 0 3030765 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 140733560670976 139815167274743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
/proc/3305/statm: 3494671 12786 3102 1 0 3482972 0
[pid=3305/tid=3308] ppid=3300 vsize=13978684 CPUtime=0.37 cores=1,3,5,7
/proc/3305/task/3308/stat : 3308 (java) R 3300 3300 3187 34816 3187 4202560 7817 0 2 0 33 4 0 0 20 0 15 0 3030781 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 139815171512992 139815167286678 0 4 1 16800974 0 0 0 -1 3 0 0 86 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3312] ppid=3300 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3312/stat : 3312 (java) S 3300 3300 3187 34816 3187 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3030784 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 139815086689296 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3314] ppid=3300 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3314/stat : 3314 (java) S 3300 3300 3187 34816 3187 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3030784 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 139815085636752 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3315] ppid=3300 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3315/stat : 3315 (java) S 3300 3300 3187 34816 3187 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3030784 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 139815084583696 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3316] ppid=3300 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3316/stat : 3316 (java) S 3300 3300 3187 34816 3187 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3030784 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 139815083531152 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3318] ppid=3300 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3318/stat : 3318 (java) S 3300 3300 3187 34816 3187 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 3030796 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 139814352521456 139815167285890 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3320] ppid=3300 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3320/stat : 3320 (java) S 3300 3300 3187 34816 3187 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3030796 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 139814351467680 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3322] ppid=3300 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3322/stat : 3322 (java) S 3300 3300 3187 34816 3187 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3030796 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 139814350414576 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3323] ppid=3300 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3323/stat : 3323 (java) S 3300 3300 3187 34816 3187 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030801 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 139814349363152 139815167293339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3324] ppid=3300 vsize=13978684 CPUtime=0.05 cores=1,3,5,7
/proc/3305/task/3324/stat : 3324 (java) R 3300 3300 3187 34816 3187 1077944384 687 0 0 0 5 0 0 0 20 0 15 0 3030801 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 139814348311376 139815167284949 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3326] ppid=3300 vsize=13978684 CPUtime=0.04 cores=1,3,5,7
/proc/3305/task/3326/stat : 3326 (java) R 3300 3300 3187 34816 3187 4202560 255 0 0 0 4 0 0 0 20 0 15 0 3030801 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 139814347239848 139815150758183 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3328] ppid=3300 vsize=13978684 CPUtime=0.17 cores=1,3,5,7
/proc/3305/task/3328/stat : 3328 (java) R 3300 3300 3187 34816 3187 4202560 1019 0 0 0 17 0 0 0 20 0 15 0 3030801 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 139814346202616 139815150901315 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3331] ppid=3300 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3331/stat : 3331 (java) S 3300 3300 3187 34816 3187 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030801 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 139814345153376 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3333] ppid=3300 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3333/stat : 3333 (java) S 3300 3300 3187 34816 3187 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3030805 14314172416 12786 18446744073709551615 4194304 4196468 140733560688432 139814344100400 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 13988196
[startup+3.10079 s]
/proc/loadavg: 0.03 0.04 0.05 8/219 3334
/proc/meminfo: memFree=31895384/32770624 swapFree=0/156792
[pid=3300] ppid=3295 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3300/stat : 3300 (xcsp3-exec) S 3295 3300 3187 34816 3187 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3030760 9740288 345 18446744073709551615 4194304 5098028 140732046498064 140732046496168 140463715500668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 24555520 140732046504349 140732046504552 140732046504552 140732046508011 0
/proc/3300/statm: 2378 345 289 221 0 87 0
[pid=3305] ppid=3300 vsize=13980732 CPUtime=5.41 cores=1,3,5,7
/proc/3305/stat : 3305 (java) S 3300 3300 3187 34816 3187 1077944320 34630 0 4 0 530 11 0 0 20 0 15 0 3030765 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 140733560670976 139815167274743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
/proc/3305/statm: 3495183 29470 3188 1 0 3483484 0
[pid=3305/tid=3308] ppid=3300 vsize=13980732 CPUtime=1.96 cores=1,3,5,7
/proc/3305/task/3308/stat : 3308 (java) R 3300 3300 3187 34816 3187 4202560 9591 0 2 0 191 5 0 0 20 0 15 0 3030781 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 139815171511720 139814764209401 0 4 1 16800974 0 0 0 -1 1 0 0 86 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3312] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3312/stat : 3312 (java) S 3300 3300 3187 34816 3187 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 139815086689296 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3314] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3314/stat : 3314 (java) S 3300 3300 3187 34816 3187 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 139815085636752 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3315] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3315/stat : 3315 (java) S 3300 3300 3187 34816 3187 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 139815084583696 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3316] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3316/stat : 3316 (java) S 3300 3300 3187 34816 3187 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 139815083531152 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3318] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3318/stat : 3318 (java) S 3300 3300 3187 34816 3187 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 3030796 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 139814352521456 139815167285890 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3320] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3320/stat : 3320 (java) S 3300 3300 3187 34816 3187 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3030796 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 139814351467680 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3322] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3322/stat : 3322 (java) S 3300 3300 3187 34816 3187 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3030796 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 139814350414576 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3323] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3323/stat : 3323 (java) S 3300 3300 3187 34816 3187 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030801 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 139814349363152 139815167293339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3324] ppid=3300 vsize=13980732 CPUtime=1.47 cores=1,3,5,7
/proc/3305/task/3324/stat : 3324 (java) R 3300 3300 3187 34816 3187 4202560 11633 0 0 0 146 1 0 0 20 0 15 0 3030801 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 139814348297824 139815152382787 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3326] ppid=3300 vsize=13980732 CPUtime=1.47 cores=1,3,5,7
/proc/3305/task/3326/stat : 3326 (java) S 3300 3300 3187 34816 3187 1077944384 9179 0 0 0 146 1 0 0 20 0 15 0 3030801 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 139814347258736 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3328] ppid=3300 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/3305/task/3328/stat : 3328 (java) S 3300 3300 3187 34816 3187 1077944384 2910 0 0 0 45 1 0 0 20 0 15 0 3030801 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 139814346205680 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3331] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3331/stat : 3331 (java) S 3300 3300 3187 34816 3187 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030801 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 139814345153376 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3333] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3333/stat : 3333 (java) S 3300 3300 3187 34816 3187 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030805 14316269568 29470 18446744073709551615 4194304 4196468 140733560688432 139814344100400 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 13990244
[startup+6.30063 s]
/proc/loadavg: 0.03 0.04 0.05 3/219 3334
/proc/meminfo: memFree=31874948/32770624 swapFree=0/156808
[pid=3300] ppid=3295 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3300/stat : 3300 (xcsp3-exec) S 3295 3300 3187 34816 3187 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3030760 9740288 345 18446744073709551615 4194304 5098028 140732046498064 140732046496168 140463715500668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 24555520 140732046504349 140732046504552 140732046504552 140732046508011 0
/proc/3300/statm: 2378 345 289 221 0 87 0
[pid=3305] ppid=3300 vsize=13980732 CPUtime=9.32 cores=1,3,5,7
/proc/3305/stat : 3305 (java) S 3300 3300 3187 34816 3187 1077944320 37789 0 4 0 921 11 0 0 20 0 15 0 3030765 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 140733560670976 139815167274743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
/proc/3305/statm: 3495183 26758 3193 1 0 3483484 0
[pid=3305/tid=3308] ppid=3300 vsize=13980732 CPUtime=5.15 cores=1,3,5,7
/proc/3305/task/3308/stat : 3308 (java) R 3300 3300 3187 34816 3187 4202560 10169 0 2 0 510 5 0 0 20 0 15 0 3030781 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 139815171511040 139814764209434 0 4 1 16800974 0 0 0 -1 1 0 0 86 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3312] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3312/stat : 3312 (java) S 3300 3300 3187 34816 3187 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 139815086689296 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3314] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3314/stat : 3314 (java) S 3300 3300 3187 34816 3187 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 139815085636752 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3315] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3315/stat : 3315 (java) S 3300 3300 3187 34816 3187 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 139815084583696 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3316] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3316/stat : 3316 (java) S 3300 3300 3187 34816 3187 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 139815083531152 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3318] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3318/stat : 3318 (java) S 3300 3300 3187 34816 3187 1077944384 258 0 0 0 0 0 0 0 20 0 15 0 3030796 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 139814352521456 139815167285890 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3320] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3320/stat : 3320 (java) S 3300 3300 3187 34816 3187 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3030796 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 139814351467680 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3322] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3322/stat : 3322 (java) S 3300 3300 3187 34816 3187 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3030796 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 139814350414576 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3323] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3323/stat : 3323 (java) S 3300 3300 3187 34816 3187 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030801 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 139814349363152 139815167293339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3324] ppid=3300 vsize=13980732 CPUtime=1.9 cores=1,3,5,7
/proc/3305/task/3324/stat : 3324 (java) S 3300 3300 3187 34816 3187 1077944384 12051 0 0 0 188 2 0 0 20 0 15 0 3030801 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 139814348311280 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3326] ppid=3300 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/3305/task/3326/stat : 3326 (java) S 3300 3300 3187 34816 3187 1077944384 9451 0 0 0 172 1 0 0 20 0 15 0 3030801 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 139814347258736 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3328] ppid=3300 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/3305/task/3328/stat : 3328 (java) S 3300 3300 3187 34816 3187 1077944384 3423 0 0 0 49 1 0 0 20 0 15 0 3030801 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 139814346205680 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3331] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3331/stat : 3331 (java) S 3300 3300 3187 34816 3187 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030801 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 139814345153376 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3333] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3333/stat : 3333 (java) S 3300 3300 3187 34816 3187 1077944384 1138 0 0 0 0 0 0 0 20 0 15 0 3030805 14316269568 26758 18446744073709551615 4194304 4196468 140733560688432 139814344100400 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 0.19 0.07 0.06 3/219 3335
/proc/meminfo: memFree=31871940/32770624 swapFree=0/156812
[pid=3300] ppid=3295 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3300/stat : 3300 (xcsp3-exec) S 3295 3300 3187 34816 3187 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3030760 9740288 345 18446744073709551615 4194304 5098028 140732046498064 140732046496168 140463715500668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 24555520 140732046504349 140732046504552 140732046504552 140732046508011 0
/proc/3300/statm: 2378 345 289 221 0 87 0
[pid=3305] ppid=3300 vsize=13980732 CPUtime=15.75 cores=1,3,5,7
/proc/3305/stat : 3305 (java) S 3300 3300 3187 34816 3187 1077944320 39389 0 4 0 1563 12 0 0 20 0 15 0 3030765 14316269568 27806 18446744073709551615 4194304 4196468 140733560688432 140733560670976 139815167274743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
/proc/3305/statm: 3495183 27806 3193 1 0 3483484 0
[pid=3305/tid=3308] ppid=3300 vsize=13980732 CPUtime=11.56 cores=1,3,5,7
/proc/3305/task/3308/stat : 3308 (java) R 3300 3300 3187 34816 3187 4202560 10855 0 2 0 1150 6 0 0 20 0 15 0 3030781 14316269568 27806 18446744073709551615 4194304 4196468 140733560688432 139815171510160 139814764209573 0 4 1 16800974 0 0 0 -1 1 0 0 86 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3312] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3312/stat : 3312 (java) S 3300 3300 3187 34816 3187 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 27806 18446744073709551615 4194304 4196468 140733560688432 139815086689296 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3314] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3314/stat : 3314 (java) S 3300 3300 3187 34816 3187 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 27806 18446744073709551615 4194304 4196468 140733560688432 139815085636752 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
################
# More data... #
################
[pid=3305/tid=3320] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3320/stat : 3320 (java) S 3300 3300 3187 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 3030796 14316269568 54243 18446744073709551615 4194304 4196468 140733560688432 139814351467680 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3322] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3322/stat : 3322 (java) S 3300 3300 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3030796 14316269568 54243 18446744073709551615 4194304 4196468 140733560688432 139814350414576 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3323] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3323/stat : 3323 (java) S 3300 3300 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030801 14316269568 54243 18446744073709551615 4194304 4196468 140733560688432 139814349363152 139815167293339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3324] ppid=3300 vsize=13980732 CPUtime=2.73 cores=1,3,5,7
/proc/3305/task/3324/stat : 3324 (java) S 3300 3300 3187 0 -1 1077944384 20511 0 0 0 270 3 0 0 20 0 15 0 3030801 14316269568 54243 18446744073709551615 4194304 4196468 140733560688432 139814348311280 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3326] ppid=3300 vsize=13980732 CPUtime=2.49 cores=1,3,5,7
/proc/3305/task/3326/stat : 3326 (java) S 3300 3300 3187 0 -1 1077944384 18945 0 0 0 247 2 0 0 20 0 15 0 3030801 14316269568 54243 18446744073709551615 4194304 4196468 140733560688432 139814347258736 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3328] ppid=3300 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/3305/task/3328/stat : 3328 (java) S 3300 3300 3187 0 -1 1077944384 6755 0 0 0 58 2 0 0 20 0 15 0 3030801 14316269568 54243 18446744073709551615 4194304 4196468 140733560688432 139814346205680 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3331] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3331/stat : 3331 (java) S 3300 3300 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030801 14316269568 54243 18446744073709551615 4194304 4196468 140733560688432 139814345153376 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3333] ppid=3300 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3305/task/3333/stat : 3333 (java) S 3300 3300 3187 0 -1 1077944384 1608 0 0 0 0 1 0 0 20 0 15 0 3030805 14316269568 54243 18446744073709551615 4194304 4196468 140733560688432 139814344100400 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
Current children cumulated CPU time (s) 107.07
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.85 0.83 0.35 4/221 3376
/proc/meminfo: memFree=31725612/32770624 swapFree=0/156820
[pid=3300] ppid=3295 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3300/stat : 3300 (xcsp3-exec) S 3295 3300 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3030760 9740288 345 18446744073709551615 4194304 5098028 140732046498064 140732046496168 140463715500668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 24555520 140732046504349 140732046504552 140732046504552 140732046508011 0
/proc/3300/statm: 2378 345 289 221 0 87 0
[pid=3305] ppid=3300 vsize=13980732 CPUtime=167.16 cores=1,3,5,7
/proc/3305/stat : 3305 (java) S 3300 3300 3187 0 -1 1077944320 66600 0 4 0 16696 20 0 0 20 0 15 0 3030765 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 140733560670976 139815167274743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
/proc/3305/statm: 3495183 54276 3227 1 0 3483484 0
[pid=3305/tid=3308] ppid=3300 vsize=13980732 CPUtime=161.16 cores=1,3,5,7
/proc/3305/task/3308/stat : 3308 (java) R 3300 3300 3187 0 -1 4202560 14046 0 2 0 16108 8 0 0 20 0 15 0 3030781 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 139815171512232 139814765575478 0 4 1 16800974 0 0 0 -1 1 0 0 86 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3312] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3312/stat : 3312 (java) S 3300 3300 3187 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 139815086689296 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3314] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3314/stat : 3314 (java) S 3300 3300 3187 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 139815085636752 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3315] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3315/stat : 3315 (java) S 3300 3300 3187 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 139815084583696 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3316] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3316/stat : 3316 (java) S 3300 3300 3187 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 139815083531152 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3318] ppid=3300 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3305/task/3318/stat : 3318 (java) S 3300 3300 3187 0 -1 1077944384 667 0 0 0 0 1 0 0 20 0 15 0 3030796 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 139814352521456 139815167285890 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3320] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3320/stat : 3320 (java) S 3300 3300 3187 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 3030796 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 139814351467680 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3322] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3322/stat : 3322 (java) S 3300 3300 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3030796 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 139814350414576 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3323] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3323/stat : 3323 (java) S 3300 3300 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030801 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 139814349363152 139815167293339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3324] ppid=3300 vsize=13980732 CPUtime=2.78 cores=1,3,5,7
/proc/3305/task/3324/stat : 3324 (java) S 3300 3300 3187 0 -1 1077944384 22000 0 0 0 275 3 0 0 20 0 15 0 3030801 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 139814348311280 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3326] ppid=3300 vsize=13980732 CPUtime=2.5 cores=1,3,5,7
/proc/3305/task/3326/stat : 3326 (java) S 3300 3300 3187 0 -1 1077944384 19121 0 0 0 248 2 0 0 20 0 15 0 3030801 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 139814347258736 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3328] ppid=3300 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/3305/task/3328/stat : 3328 (java) S 3300 3300 3187 0 -1 1077944384 7214 0 0 0 59 2 0 0 20 0 15 0 3030801 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 139814346205680 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3331] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3331/stat : 3331 (java) S 3300 3300 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030801 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 139814345153376 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3333] ppid=3300 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/3305/task/3333/stat : 3333 (java) S 3300 3300 3187 0 -1 1077944384 1643 0 0 0 1 2 0 0 20 0 15 0 3030805 14316269568 54276 18446744073709551615 4194304 4196468 140733560688432 139814344100400 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
Current children cumulated CPU time (s) 167.16
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.95 1.04 0.45 4/217 3378
/proc/meminfo: memFree=31693204/32770624 swapFree=0/156844
[pid=3300] ppid=3295 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3300/stat : 3300 (xcsp3-exec) S 3295 3300 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3030760 9740288 345 18446744073709551615 4194304 5098028 140732046498064 140732046496168 140463715500668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 24555520 140732046504349 140732046504552 140732046504552 140732046508011 0
/proc/3300/statm: 2378 345 289 221 0 87 0
[pid=3305] ppid=3300 vsize=13980732 CPUtime=227.46 cores=1,3,5,7
/proc/3305/stat : 3305 (java) S 3300 3300 3187 0 -1 1077944320 74924 0 4 0 22724 22 0 0 20 0 15 0 3030765 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 140733560670976 139815167274743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
/proc/3305/statm: 3495183 56384 3227 1 0 3483484 0
[pid=3305/tid=3308] ppid=3300 vsize=13980732 CPUtime=221.16 cores=1,3,5,7
/proc/3305/task/3308/stat : 3308 (java) R 3300 3300 3187 0 -1 4202560 14771 0 2 0 22108 8 0 0 20 0 15 0 3030781 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 139815171513128 139814765575464 0 4 1 16800974 0 0 0 -1 1 0 0 86 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3312] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3312/stat : 3312 (java) S 3300 3300 3187 0 -1 1077944384 733 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 139815086689296 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3314] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3314/stat : 3314 (java) S 3300 3300 3187 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 139815085636752 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3315] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3315/stat : 3315 (java) S 3300 3300 3187 0 -1 1077944384 365 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 139815084583696 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3316] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3316/stat : 3316 (java) S 3300 3300 3187 0 -1 1077944384 355 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 139815083531152 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3318] ppid=3300 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3305/task/3318/stat : 3318 (java) S 3300 3300 3187 0 -1 1077944384 829 0 0 0 0 1 0 0 20 0 15 0 3030796 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 139814352521456 139815167285890 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3320] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3320/stat : 3320 (java) S 3300 3300 3187 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 3030796 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 139814351467680 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3322] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3322/stat : 3322 (java) S 3300 3300 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3030796 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 139814350414576 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3323] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3323/stat : 3323 (java) S 3300 3300 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030801 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 139814349363152 139815167293339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3324] ppid=3300 vsize=13980732 CPUtime=2.89 cores=1,3,5,7
/proc/3305/task/3324/stat : 3324 (java) S 3300 3300 3187 0 -1 1077944384 23852 0 0 0 286 3 0 0 20 0 15 0 3030801 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 139814348311280 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3326] ppid=3300 vsize=13980732 CPUtime=2.64 cores=1,3,5,7
/proc/3305/task/3326/stat : 3326 (java) S 3300 3300 3187 0 -1 1077944384 22981 0 0 0 262 2 0 0 20 0 15 0 3030801 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 139814347258736 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3328] ppid=3300 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/3305/task/3328/stat : 3328 (java) S 3300 3300 3187 0 -1 1077944384 7762 0 0 0 60 2 0 0 20 0 15 0 3030801 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 139814346205680 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3331] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3331/stat : 3331 (java) S 3300 3300 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030801 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 139814345153376 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3333] ppid=3300 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/3305/task/3333/stat : 3333 (java) S 3300 3300 3187 0 -1 1077944384 1768 0 0 0 2 2 0 0 20 0 15 0 3030805 14316269568 56384 18446744073709551615 4194304 4196468 140733560688432 139814344100400 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
Current children cumulated CPU time (s) 227.46
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.96 1.11 0.48 3/217 3380
/proc/meminfo: memFree=31666688/32770624 swapFree=0/156848
[pid=3300] ppid=3295 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3300/stat : 3300 (xcsp3-exec) S 3295 3300 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3030760 9740288 345 18446744073709551615 4194304 5098028 140732046498064 140732046496168 140463715500668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 24555520 140732046504349 140732046504552 140732046504552 140732046508011 0
/proc/3300/statm: 2378 345 289 221 0 87 0
[pid=3305] ppid=3300 vsize=13980732 CPUtime=245.17 cores=1,3,5,7
/proc/3305/stat : 3305 (java) S 3300 3300 3187 0 -1 1077944320 76707 0 4 0 24495 22 0 0 20 0 15 0 3030765 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 140733560670976 139815167274743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
/proc/3305/statm: 3495183 56392 3227 1 0 3483484 0
[pid=3305/tid=3308] ppid=3300 vsize=13980732 CPUtime=238.85 cores=1,3,5,7
/proc/3305/task/3308/stat : 3308 (java) R 3300 3300 3187 0 -1 4202560 14925 0 2 0 23877 8 0 0 20 0 15 0 3030781 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 139815171511928 139814765575584 0 4 1 16800974 0 0 0 -1 1 0 0 86 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3312] ppid=3300 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3305/task/3312/stat : 3312 (java) S 3300 3300 3187 0 -1 1077944384 778 0 0 0 1 0 0 0 20 0 15 0 3030784 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 139815086689296 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3314] ppid=3300 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3305/task/3314/stat : 3314 (java) S 3300 3300 3187 0 -1 1077944384 418 0 0 0 1 0 0 0 20 0 15 0 3030784 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 139815085636752 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3315] ppid=3300 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3305/task/3315/stat : 3315 (java) S 3300 3300 3187 0 -1 1077944384 1195 0 0 0 1 0 0 0 20 0 15 0 3030784 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 139815084583696 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3316] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3316/stat : 3316 (java) S 3300 3300 3187 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 3030784 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 139815083531152 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3318] ppid=3300 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/3305/task/3318/stat : 3318 (java) S 3300 3300 3187 0 -1 1077944384 1026 0 0 0 1 1 0 0 20 0 15 0 3030796 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 139814352521456 139815167285890 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3320] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3320/stat : 3320 (java) S 3300 3300 3187 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 3030796 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 139814351467680 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3322] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3322/stat : 3322 (java) S 3300 3300 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3030796 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 139814350414576 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3323] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3323/stat : 3323 (java) S 3300 3300 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030801 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 139814349363152 139815167293339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3324] ppid=3300 vsize=13980732 CPUtime=2.89 cores=1,3,5,7
/proc/3305/task/3324/stat : 3324 (java) S 3300 3300 3187 0 -1 1077944384 23852 0 0 0 286 3 0 0 20 0 15 0 3030801 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 139814348311280 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3326] ppid=3300 vsize=13980732 CPUtime=2.64 cores=1,3,5,7
/proc/3305/task/3326/stat : 3326 (java) S 3300 3300 3187 0 -1 1077944384 23213 0 0 0 262 2 0 0 20 0 15 0 3030801 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 139814347258736 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3328] ppid=3300 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/3305/task/3328/stat : 3328 (java) S 3300 3300 3187 0 -1 1077944384 7762 0 0 0 60 2 0 0 20 0 15 0 3030801 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 139814346205680 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3331] ppid=3300 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3305/task/3331/stat : 3331 (java) S 3300 3300 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3030801 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 139814345153376 139815167284949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
[pid=3305/tid=3333] ppid=3300 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/3305/task/3333/stat : 3333 (java) S 3300 3300 3187 0 -1 1077944384 1768 0 0 0 2 2 0 0 20 0 15 0 3030805 14316269568 56392 18446744073709551615 4194304 4196468 140733560688432 139814344100400 139815167285890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29265920 140733560697301 140733560697476 140733560697476 140733560700879 0
Current children cumulated CPU time (s) 245.17
Current children cumulated vsize (KiB) 13990244
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 3305 sig 9
??? kill 3300 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 3300 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2087
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.002087
# while last known CPU time is 245.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 245.17
CPU user time (s): 244.95
CPU system time (s): 0.22
CPU usage (%): 102.15
Max. virtual memory (cumulated for all children) (KiB): 13991916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002087
system time used= 0
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
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= 12
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10993 second user time and 1.29492 second system time
The end