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-4255014-1501620600/watcher-4255014-1501620600 -o /tmp/evaluation-result-4255014-1501620600/solver-4255014-1501620600 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9378 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 826194882 HOME/instance-4255014-1501620600.xml
pid=14532
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: 1.97 1.76 1.75 3/198 14535
/proc/meminfo: memFree=28957108/32770624 swapFree=0/169216
[pid=14535] ppid=14532 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14535/stat : 14535 (runsolver) D 14532 14535 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3970610 24240128 107 18446744073709551615 4194304 4338465 140735520236048 140735520233688 140165541749463 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 27049984 140735520243807 140735520244295 140735520244295 140735520247754 0
/proc/14535/statm: 5918 107 54 36 0 2156 0
[startup+0.102108 s]
/proc/loadavg: 1.97 1.76 1.75 3/198 14535
/proc/meminfo: memFree=28957108/32770624 swapFree=0/169216
[pid=14535] ppid=14532 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14535/stat : 14535 (xcsp3-exec) S 14532 14535 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3970610 9740288 345 18446744073709551615 4194304 5098028 140726689013008 140726689011112 139982617305724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32583680 140726689018269 140726689018472 140726689018472 140726689021931 0
/proc/14535/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200294 s]
/proc/loadavg: 1.97 1.76 1.75 3/198 14535
/proc/meminfo: memFree=28957108/32770624 swapFree=0/169216
[pid=14535] ppid=14532 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14535/stat : 14535 (xcsp3-exec) S 14532 14535 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3970610 9740288 345 18446744073709551615 4194304 5098028 140726689013008 140726689011112 139982617305724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32583680 140726689018269 140726689018472 140726689018472 140726689021931 0
/proc/14535/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300622 s]
/proc/loadavg: 1.97 1.76 1.75 3/198 14535
/proc/meminfo: memFree=28957108/32770624 swapFree=0/169216
[pid=14535] ppid=14532 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14535/stat : 14535 (xcsp3-exec) S 14532 14535 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3970610 9740288 345 18446744073709551615 4194304 5098028 140726689013008 140726689011112 139982617305724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32583680 140726689018269 140726689018472 140726689018472 140726689021931 0
/proc/14535/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700625 s]
/proc/loadavg: 1.97 1.76 1.75 3/198 14535
/proc/meminfo: memFree=28957108/32770624 swapFree=0/169216
[pid=14535] ppid=14532 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14535/stat : 14535 (xcsp3-exec) S 14532 14535 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3970610 9740288 345 18446744073709551615 4194304 5098028 140726689013008 140726689011112 139982617305724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32583680 140726689018269 140726689018472 140726689018472 140726689021931 0
/proc/14535/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5007 s]
/proc/loadavg: 1.97 1.76 1.75 5/214 14551
/proc/meminfo: memFree=28879896/32770624 swapFree=0/169216
[pid=14535] ppid=14532 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14535/stat : 14535 (xcsp3-exec) S 14532 14535 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3970610 9740288 345 18446744073709551615 4194304 5098028 140726689013008 140726689011112 139982617305724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32583680 140726689018269 140726689018472 140726689018472 140726689021931 0
/proc/14535/statm: 2378 345 289 221 0 87 0
[pid=14537] ppid=14535 vsize=13980732 CPUtime=3.7 cores=1,3,5,7
/proc/14537/stat : 14537 (java) S 14535 14535 3187 0 -1 1077944320 29714 0 0 0 362 8 0 0 20 0 15 0 3970619 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 140731801630432 139910332481271 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
/proc/14537/statm: 3495183 29386 3181 1 0 3483484 0
[pid=14537/tid=14538] ppid=14535 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/14537/task/14538/stat : 14538 (java) R 14535 14535 3187 0 -1 4202560 9653 0 0 0 130 4 0 0 20 0 15 0 3970619 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 139910336719072 139909923529615 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14539] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14539/stat : 14539 (java) S 14535 14535 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3970620 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 139910251895824 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14540] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14540/stat : 14540 (java) S 14535 14535 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3970620 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 139910250843280 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14541] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14541/stat : 14541 (java) S 14535 14535 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3970620 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 139910249790224 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14542] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14542/stat : 14542 (java) S 14535 14535 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3970620 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 139910248737680 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14543] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14543/stat : 14543 (java) S 14535 14535 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3970621 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 139909810096368 139910332492418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14544] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14544/stat : 14544 (java) S 14535 14535 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3970622 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 139909809042592 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14545] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14545/stat : 14545 (java) S 14535 14535 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3970622 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 139909807989488 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14546] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14546/stat : 14546 (java) S 14535 14535 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3970624 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 139909806938064 139910332499867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14547] ppid=14535 vsize=13980732 CPUtime=0.9 cores=1,3,5,7
/proc/14537/task/14547/stat : 14547 (java) R 14535 14535 3187 0 -1 4202560 5450 0 0 0 90 0 0 0 20 0 15 0 3970624 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 139909805872216 139910316384361 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14548] ppid=14535 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/14537/task/14548/stat : 14548 (java) R 14535 14535 3187 0 -1 4202560 9446 0 0 0 93 1 0 0 20 0 15 0 3970624 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 139909804814664 139910315981441 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14549] ppid=14535 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/14537/task/14549/stat : 14549 (java) S 14535 14535 3187 0 -1 1077944384 3853 0 0 0 46 1 0 0 20 0 15 0 3970624 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 139909803780592 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14550] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14550/stat : 14550 (java) S 14535 14535 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3970624 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 139909802728288 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14551] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14551/stat : 14551 (java) S 14535 14535 3187 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 3970629 14316269568 29386 18446744073709551615 4194304 4196468 140731801647888 139909801675312 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 13990244
[startup+3.10074 s]
/proc/loadavg: 2.14 1.80 1.77 5/214 14551
/proc/meminfo: memFree=28824932/32770624 swapFree=0/169216
[pid=14535] ppid=14532 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14535/stat : 14535 (xcsp3-exec) S 14532 14535 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3970610 9740288 345 18446744073709551615 4194304 5098028 140726689013008 140726689011112 139982617305724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32583680 140726689018269 140726689018472 140726689018472 140726689021931 0
/proc/14535/statm: 2378 345 289 221 0 87 0
[pid=14537] ppid=14535 vsize=13980732 CPUtime=8.05 cores=1,3,5,7
/proc/14537/stat : 14537 (java) S 14535 14535 3187 0 -1 1077944320 33637 0 0 0 796 9 0 0 20 0 15 0 3970619 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 140731801630432 139910332481271 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
/proc/14537/statm: 3495183 49637 3192 1 0 3483484 0
[pid=14537/tid=14538] ppid=14535 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/14537/task/14538/stat : 14538 (java) R 14535 14535 3187 0 -1 4202560 9867 0 0 0 289 5 0 0 20 0 15 0 3970619 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 139910336719328 139909924293911 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14539] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14539/stat : 14539 (java) S 14535 14535 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3970620 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 139910251895824 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14540] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14540/stat : 14540 (java) S 14535 14535 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3970620 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 139910250843280 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14541] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14541/stat : 14541 (java) S 14535 14535 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3970620 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 139910249790224 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14542] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14542/stat : 14542 (java) S 14535 14535 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3970620 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 139910248737680 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14543] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14543/stat : 14543 (java) S 14535 14535 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3970621 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 139909810096368 139910332492418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14544] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14544/stat : 14544 (java) S 14535 14535 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3970622 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 139909809042592 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14545] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14545/stat : 14545 (java) S 14535 14535 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3970622 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 139909807989488 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14546] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14546/stat : 14546 (java) S 14535 14535 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3970624 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 139909806938064 139910332499867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14547] ppid=14535 vsize=13980732 CPUtime=2.2 cores=1,3,5,7
/proc/14537/task/14547/stat : 14547 (java) S 14535 14535 3187 0 -1 1077944384 5738 0 0 0 220 0 0 0 20 0 15 0 3970624 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 139909805886192 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14548] ppid=14535 vsize=13980732 CPUtime=2.28 cores=1,3,5,7
/proc/14537/task/14548/stat : 14548 (java) R 14535 14535 3187 0 -1 4202560 12048 0 0 0 227 1 0 0 20 0 15 0 3970624 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 139909804833648 139910317403053 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14549] ppid=14535 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/14537/task/14549/stat : 14549 (java) S 14535 14535 3187 0 -1 1077944384 4630 0 0 0 58 1 0 0 20 0 15 0 3970624 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 139909803780592 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14550] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14550/stat : 14550 (java) S 14535 14535 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3970624 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 139909802728288 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14551] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14551/stat : 14551 (java) S 14535 14535 3187 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 3970629 14316269568 49637 18446744073709551615 4194304 4196468 140731801647888 139909801675312 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
Current children cumulated CPU time (s) 8.05
Current children cumulated vsize (KiB) 13990244
[startup+6.30071 s]
/proc/loadavg: 2.14 1.80 1.77 4/214 14551
/proc/meminfo: memFree=28750660/32770624 swapFree=0/169232
[pid=14535] ppid=14532 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14535/stat : 14535 (xcsp3-exec) S 14532 14535 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3970610 9740288 345 18446744073709551615 4194304 5098028 140726689013008 140726689011112 139982617305724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32583680 140726689018269 140726689018472 140726689018472 140726689021931 0
/proc/14535/statm: 2378 345 289 221 0 87 0
[pid=14537] ppid=14535 vsize=13980732 CPUtime=12.19 cores=1,3,5,7
/proc/14537/stat : 14537 (java) S 14535 14535 3187 0 -1 1077944320 35590 0 0 0 1205 14 0 0 20 0 15 0 3970619 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 140731801630432 139910332481271 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
/proc/14537/statm: 3495183 58058 3216 1 0 3483484 0
[pid=14537/tid=14538] ppid=14535 vsize=13980732 CPUtime=6.12 cores=1,3,5,7
/proc/14537/task/14538/stat : 14538 (java) R 14535 14535 3187 0 -1 4202560 10198 0 0 0 607 5 0 0 20 0 15 0 3970619 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 139910336717832 139909925560032 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14539] ppid=14535 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14537/task/14539/stat : 14539 (java) S 14535 14535 3187 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 15 0 3970620 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 139910251895824 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14540] ppid=14535 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/14537/task/14540/stat : 14540 (java) S 14535 14535 3187 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 15 0 3970620 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 139910250843280 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14541] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14541/stat : 14541 (java) S 14535 14535 3187 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 15 0 3970620 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 139910249790224 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14542] ppid=14535 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14537/task/14542/stat : 14542 (java) S 14535 14535 3187 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 15 0 3970620 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 139910248737680 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14543] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14543/stat : 14543 (java) S 14535 14535 3187 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 3970621 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 139909810096368 139910332492418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14544] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14544/stat : 14544 (java) S 14535 14535 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3970622 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 139909809042656 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14545] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14545/stat : 14545 (java) S 14535 14535 3187 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 3970622 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 139909807989504 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14546] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14546/stat : 14546 (java) S 14535 14535 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3970624 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 139909806938064 139910332499867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14547] ppid=14535 vsize=13980732 CPUtime=2.58 cores=1,3,5,7
/proc/14537/task/14547/stat : 14547 (java) S 14535 14535 3187 0 -1 1077944384 5825 0 0 0 258 0 0 0 20 0 15 0 3970624 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 139909805886192 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14548] ppid=14535 vsize=13980732 CPUtime=2.67 cores=1,3,5,7
/proc/14537/task/14548/stat : 14548 (java) S 14535 14535 3187 0 -1 1077944384 12172 0 0 0 265 2 0 0 20 0 15 0 3970624 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 139909804833648 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14549] ppid=14535 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/14537/task/14549/stat : 14549 (java) S 14535 14535 3187 0 -1 1077944384 5277 0 0 0 68 1 0 0 20 0 15 0 3970624 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 139909803780592 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14550] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14550/stat : 14550 (java) S 14535 14535 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3970624 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 139909802728288 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14551] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14551/stat : 14551 (java) S 14535 14535 3187 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 3970629 14316269568 58058 18446744073709551615 4194304 4196468 140731801647888 139909801675312 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.04 1.79 1.76 3/214 14551
/proc/meminfo: memFree=28731172/32770624 swapFree=0/169244
[pid=14535] ppid=14532 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14535/stat : 14535 (xcsp3-exec) S 14532 14535 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3970610 9740288 345 18446744073709551615 4194304 5098028 140726689013008 140726689011112 139982617305724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32583680 140726689018269 140726689018472 140726689018472 140726689021931 0
/proc/14535/statm: 2378 345 289 221 0 87 0
[pid=14537] ppid=14535 vsize=13980732 CPUtime=19.27 cores=1,3,5,7
/proc/14537/stat : 14537 (java) S 14535 14535 3187 0 -1 1077944320 43309 0 0 0 1911 16 0 0 20 0 15 0 3970619 14316269568 59244 18446744073709551615 4194304 4196468 140731801647888 140731801630432 139910332481271 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
/proc/14537/statm: 3495183 59244 3225 1 0 3483484 0
[pid=14537/tid=14538] ppid=14535 vsize=13980732 CPUtime=12.51 cores=1,3,5,7
/proc/14537/task/14538/stat : 14538 (java) R 14535 14535 3187 0 -1 4202560 11318 0 0 0 1245 6 0 0 20 0 15 0 3970619 14316269568 59244 18446744073709551615 4194304 4196468 140731801647888 139910336716848 139909925249475 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14539] ppid=14535 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/14537/task/14539/stat : 14539 (java) S 14535 14535 3187 0 -1 1077944384 281 0 0 0 2 0 0 0 20 0 15 0 3970620 14316269568 59244 18446744073709551615 4194304 4196468 140731801647888 139910251895824 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14540] ppid=14535 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/14537/task/14540/stat : 14540 (java) S 14535 14535 3187 0 -1 1077944384 881 0 0 0 1 1 0 0 20 0 15 0 3970620 14316269568 59244 18446744073709551615 4194304 4196468 140731801647888 139910250843280 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
################
# More data... #
################
[pid=14537/tid=14544] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14544/stat : 14544 (java) S 14535 14535 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 3970622 14316269568 60698 18446744073709551615 4194304 4196468 140731801647888 139909809042656 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14545] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14545/stat : 14545 (java) S 14535 14535 3187 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 3970622 14316269568 60698 18446744073709551615 4194304 4196468 140731801647888 139909807989504 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14546] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14546/stat : 14546 (java) S 14535 14535 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3970624 14316269568 60698 18446744073709551615 4194304 4196468 140731801647888 139909806938064 139910332499867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14547] ppid=14535 vsize=13980732 CPUtime=3.78 cores=1,3,5,7
/proc/14537/task/14547/stat : 14547 (java) S 14535 14535 3187 0 -1 1077944384 13684 0 0 0 377 1 0 0 20 0 15 0 3970624 14316269568 60698 18446744073709551615 4194304 4196468 140731801647888 139909805886192 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14548] ppid=14535 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/14537/task/14548/stat : 14548 (java) S 14535 14535 3187 0 -1 1077944384 25679 0 0 0 441 3 0 0 20 0 15 0 3970624 14316269568 60698 18446744073709551615 4194304 4196468 140731801647888 139909804833648 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14549] ppid=14535 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/14537/task/14549/stat : 14549 (java) S 14535 14535 3187 0 -1 1077944384 8590 0 0 0 77 1 0 0 20 0 15 0 3970624 14316269568 60698 18446744073709551615 4194304 4196468 140731801647888 139909803780592 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14550] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14550/stat : 14550 (java) S 14535 14535 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3970624 14316269568 60698 18446744073709551615 4194304 4196468 140731801647888 139909802728288 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14551] ppid=14535 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/14537/task/14551/stat : 14551 (java) S 14535 14535 3187 0 -1 1077944384 365 0 0 0 1 1 0 0 20 0 15 0 3970629 14316269568 60698 18446744073709551615 4194304 4196468 140731801647888 139909801675312 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
Current children cumulated CPU time (s) 112
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.00 1.87 1.79 3/215 14711
/proc/meminfo: memFree=31499040/32770624 swapFree=0/169420
[pid=14535] ppid=14532 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14535/stat : 14535 (xcsp3-exec) S 14532 14535 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3970610 9740288 345 18446744073709551615 4194304 5098028 140726689013008 140726689011112 139982617305724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32583680 140726689018269 140726689018472 140726689018472 140726689021931 0
/proc/14535/statm: 2378 345 289 221 0 87 0
[pid=14537] ppid=14535 vsize=13980732 CPUtime=172.23 cores=1,3,5,7
/proc/14537/stat : 14537 (java) S 14535 14535 3187 0 -1 1077944320 73659 0 0 0 17191 32 0 0 20 0 15 0 3970619 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 140731801630432 139910332481271 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
/proc/14537/statm: 3495183 60193 3232 1 0 3483484 0
[pid=14537/tid=14538] ppid=14535 vsize=13980732 CPUtime=161.76 cores=1,3,5,7
/proc/14537/task/14538/stat : 14538 (java) R 14535 14535 3187 0 -1 4202560 16116 0 0 0 16170 6 0 0 20 0 15 0 3970619 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 139910336720768 139909925561020 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14539] ppid=14535 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/14537/task/14539/stat : 14539 (java) S 14535 14535 3187 0 -1 1077944384 756 0 0 0 29 3 0 0 20 0 15 0 3970620 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 139910251895824 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14540] ppid=14535 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/14537/task/14540/stat : 14540 (java) S 14535 14535 3187 0 -1 1077944384 2216 0 0 0 28 3 0 0 20 0 15 0 3970620 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 139910250843280 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14541] ppid=14535 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/14537/task/14541/stat : 14541 (java) S 14535 14535 3187 0 -1 1077944384 884 0 0 0 28 3 0 0 20 0 15 0 3970620 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 139910249790224 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14542] ppid=14535 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/14537/task/14542/stat : 14542 (java) S 14535 14535 3187 0 -1 1077944384 912 0 0 0 29 3 0 0 20 0 15 0 3970620 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 139910248737680 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14543] ppid=14535 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/14537/task/14543/stat : 14543 (java) S 14535 14535 3187 0 -1 1077944384 1442 0 0 0 3 1 0 0 20 0 15 0 3970621 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 139909810096368 139910332492418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14544] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14544/stat : 14544 (java) S 14535 14535 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 3970622 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 139909809042656 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14545] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14545/stat : 14545 (java) S 14535 14535 3187 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 3970622 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 139909807989504 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14546] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14546/stat : 14546 (java) S 14535 14535 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3970624 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 139909806938064 139910332499867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14547] ppid=14535 vsize=13980732 CPUtime=3.81 cores=1,3,5,7
/proc/14537/task/14547/stat : 14547 (java) S 14535 14535 3187 0 -1 1077944384 14582 0 0 0 380 1 0 0 20 0 15 0 3970624 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 139909805886192 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14548] ppid=14535 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/14537/task/14548/stat : 14548 (java) S 14535 14535 3187 0 -1 1077944384 25788 0 0 0 441 3 0 0 20 0 15 0 3970624 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 139909804833648 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14549] ppid=14535 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/14537/task/14549/stat : 14549 (java) S 14535 14535 3187 0 -1 1077944384 9220 0 0 0 77 1 0 0 20 0 15 0 3970624 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 139909803780592 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14550] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14550/stat : 14550 (java) S 14535 14535 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3970624 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 139909802728288 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14551] ppid=14535 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/14537/task/14551/stat : 14551 (java) S 14535 14535 3187 0 -1 1077944384 395 0 0 0 2 2 0 0 20 0 15 0 3970629 14316269568 60193 18446744073709551615 4194304 4196468 140731801647888 139909801675312 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
Current children cumulated CPU time (s) 172.23
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.92 1.87 1.80 3/215 14713
/proc/meminfo: memFree=31426072/32770624 swapFree=0/169460
[pid=14535] ppid=14532 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14535/stat : 14535 (xcsp3-exec) S 14532 14535 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3970610 9740288 345 18446744073709551615 4194304 5098028 140726689013008 140726689011112 139982617305724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32583680 140726689018269 140726689018472 140726689018472 140726689021931 0
/proc/14535/statm: 2378 345 289 221 0 87 0
[pid=14537] ppid=14535 vsize=13980732 CPUtime=233.18 cores=1,3,5,7
/proc/14537/stat : 14537 (java) S 14535 14535 3187 0 -1 1077944320 77199 0 0 0 23272 46 0 0 20 0 15 0 3970619 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 140731801630432 139910332481271 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
/proc/14537/statm: 3495183 78426 3232 1 0 3483484 0
[pid=14537/tid=14538] ppid=14535 vsize=13980732 CPUtime=221.43 cores=1,3,5,7
/proc/14537/task/14538/stat : 14538 (java) R 14535 14535 3187 0 -1 4202560 16908 0 0 0 22136 7 0 0 20 0 15 0 3970619 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 139910336720832 139909924257422 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14539] ppid=14535 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/14537/task/14539/stat : 14539 (java) S 14535 14535 3187 0 -1 1077944384 1000 0 0 0 56 6 0 0 20 0 15 0 3970620 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 139910251895824 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14540] ppid=14535 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/14537/task/14540/stat : 14540 (java) S 14535 14535 3187 0 -1 1077944384 2479 0 0 0 56 6 0 0 20 0 15 0 3970620 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 139910250843280 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14541] ppid=14535 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/14537/task/14541/stat : 14541 (java) S 14535 14535 3187 0 -1 1077944384 1108 0 0 0 55 6 0 0 20 0 15 0 3970620 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 139910249790224 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14542] ppid=14535 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/14537/task/14542/stat : 14542 (java) S 14535 14535 3187 0 -1 1077944384 1550 0 0 0 56 6 0 0 20 0 15 0 3970620 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 139910248737680 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14543] ppid=14535 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/14537/task/14543/stat : 14543 (java) S 14535 14535 3187 0 -1 1077944384 1715 0 0 0 5 2 0 0 20 0 15 0 3970621 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 139909810096368 139910332492418 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14544] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14544/stat : 14544 (java) S 14535 14535 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 3970622 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 139909809042656 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14545] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14545/stat : 14545 (java) S 14535 14535 3187 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 3970622 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 139909807989504 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14546] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14546/stat : 14546 (java) S 14535 14535 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3970624 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 139909806938064 139910332499867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14547] ppid=14535 vsize=13980732 CPUtime=3.81 cores=1,3,5,7
/proc/14537/task/14547/stat : 14547 (java) S 14535 14535 3187 0 -1 1077944384 14585 0 0 0 380 1 0 0 20 0 15 0 3970624 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 139909805886192 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14548] ppid=14535 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/14537/task/14548/stat : 14548 (java) S 14535 14535 3187 0 -1 1077944384 25792 0 0 0 441 3 0 0 20 0 15 0 3970624 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 139909804833648 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14549] ppid=14535 vsize=13980732 CPUtime=0.79 cores=1,3,5,7
/proc/14537/task/14549/stat : 14549 (java) S 14535 14535 3187 0 -1 1077944384 10296 0 0 0 78 1 0 0 20 0 15 0 3970624 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 139909803780592 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14550] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14550/stat : 14550 (java) S 14535 14535 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3970624 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 139909802728288 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14551] ppid=14535 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/14537/task/14551/stat : 14551 (java) S 14535 14535 3187 0 -1 1077944384 418 0 0 0 3 3 0 0 20 0 15 0 3970629 14316269568 78426 18446744073709551615 4194304 4196468 140731801647888 139909801675312 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
Current children cumulated CPU time (s) 233.18
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.85 1.85 1.79 3/215 14713
/proc/meminfo: memFree=31390656/32770624 swapFree=0/169472
[pid=14535] ppid=14532 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14535/stat : 14535 (xcsp3-exec) S 14532 14535 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3970610 9740288 345 18446744073709551615 4194304 5098028 140726689013008 140726689011112 139982617305724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32583680 140726689018269 140726689018472 140726689018472 140726689021931 0
/proc/14535/statm: 2378 345 289 221 0 87 0
[pid=14537] ppid=14535 vsize=13980732 CPUtime=251.29 cores=1,3,5,7
/proc/14537/stat : 14537 (java) S 14535 14535 3187 0 -1 1077944320 78983 0 0 0 25078 51 0 0 20 0 15 0 3970619 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 140731801630432 139910332481271 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
/proc/14537/statm: 3495183 87411 3232 1 0 3483484 0
[pid=14537/tid=14538] ppid=14535 vsize=13980732 CPUtime=239 cores=1,3,5,7
/proc/14537/task/14538/stat : 14538 (java) R 14535 14535 3187 0 -1 4202560 17018 0 0 0 23893 7 0 0 20 0 15 0 3970619 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 139910336720768 139909924734583 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14539] ppid=14535 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/14537/task/14539/stat : 14539 (java) S 14535 14535 3187 0 -1 1077944384 1062 0 0 0 67 7 0 0 20 0 15 0 3970620 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 139910251895824 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14540] ppid=14535 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/14537/task/14540/stat : 14540 (java) S 14535 14535 3187 0 -1 1077944384 2544 0 0 0 66 8 0 0 20 0 15 0 3970620 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 139910250843280 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14541] ppid=14535 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/14537/task/14541/stat : 14541 (java) S 14535 14535 3187 0 -1 1077944384 1177 0 0 0 66 7 0 0 20 0 15 0 3970620 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 139910249790224 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14542] ppid=14535 vsize=13980732 CPUtime=0.75 cores=1,3,5,7
/proc/14537/task/14542/stat : 14542 (java) S 14535 14535 3187 0 -1 1077944384 1632 0 0 0 68 7 0 0 20 0 15 0 3970620 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 139910248737680 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14543] ppid=14535 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/14537/task/14543/stat : 14543 (java) S 14535 14535 3187 0 -1 1077944384 1733 0 0 0 6 2 0 0 20 0 15 0 3970621 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 139909810096368 139910332492418 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14544] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14544/stat : 14544 (java) S 14535 14535 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 3970622 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 139909809042656 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14545] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14545/stat : 14545 (java) S 14535 14535 3187 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 3970622 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 139909807989504 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14546] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14546/stat : 14546 (java) S 14535 14535 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3970624 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 139909806938064 139910332499867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14547] ppid=14535 vsize=13980732 CPUtime=3.84 cores=1,3,5,7
/proc/14537/task/14547/stat : 14547 (java) S 14535 14535 3187 0 -1 1077944384 15221 0 0 0 383 1 0 0 20 0 15 0 3970624 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 139909805886192 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14548] ppid=14535 vsize=13980732 CPUtime=4.45 cores=1,3,5,7
/proc/14537/task/14548/stat : 14548 (java) S 14535 14535 3187 0 -1 1077944384 26181 0 0 0 442 3 0 0 20 0 15 0 3970624 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 139909804833648 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14549] ppid=14535 vsize=13980732 CPUtime=0.79 cores=1,3,5,7
/proc/14537/task/14549/stat : 14549 (java) S 14535 14535 3187 0 -1 1077944384 10645 0 0 0 78 1 0 0 20 0 15 0 3970624 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 139909803780592 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14550] ppid=14535 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14537/task/14550/stat : 14550 (java) S 14535 14535 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3970624 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 139909802728288 139910332491477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
[pid=14537/tid=14551] ppid=14535 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/14537/task/14551/stat : 14551 (java) S 14535 14535 3187 0 -1 1077944384 422 0 0 0 3 4 0 0 20 0 15 0 3970629 14316269568 87411 18446744073709551615 4194304 4196468 140731801647888 139909801675312 139910332492418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140731801653717 140731801653892 140731801653892 140731801657295 0
Current children cumulated CPU time (s) 251.29
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 14537 sig 9
??? kill 14535 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 14535 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1872
# CPU time returned by wait4() is 0.001872
# while last known CPU time is 251.29
#
# 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): 251.29
CPU user time (s): 250.78
CPU system time (s): 0.51
CPU usage (%): 104.7
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001872
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19979 second user time and 1.30876 second system time
The end