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-4255200-1501621377/watcher-4255200-1501621377 -o /tmp/evaluation-result-4255200-1501621377/solver-4255200-1501621377 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501617182-10799 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1924740902 HOME/instance-4255200-1501621377.xml
pid=13519
running on 4 cores: 0,2,4,6
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.74 1.85 1.85 3/195 13522
/proc/meminfo: memFree=31680976/32770624 swapFree=0/191416
[pid=13522] ppid=13519 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13522/stat : 13522 (runsolver) D 13519 13522 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10754672 24240128 107 18446744073709551615 4194304 4338465 140724779205584 140724779203224 140125073982167 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 32530432 140724779208796 140724779209286 140724779209286 140724779212746 0
/proc/13522/statm: 5918 107 54 36 0 2156 0
[startup+0.100196 s]
/proc/loadavg: 1.74 1.85 1.85 3/195 13522
/proc/meminfo: memFree=31680976/32770624 swapFree=0/191416
[pid=13522] ppid=13519 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13522/stat : 13522 (xcsp3-exec) S 13519 13522 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10754672 9740288 345 18446744073709551615 4194304 5098028 140721524324480 140721524322584 140449792352892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 7835648 140721524326811 140721524327015 140721524327015 140721524330475 0
/proc/13522/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200265 s]
/proc/loadavg: 1.74 1.85 1.85 3/195 13522
/proc/meminfo: memFree=31680976/32770624 swapFree=0/191416
[pid=13522] ppid=13519 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13522/stat : 13522 (xcsp3-exec) S 13519 13522 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10754672 9740288 345 18446744073709551615 4194304 5098028 140721524324480 140721524322584 140449792352892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 7835648 140721524326811 140721524327015 140721524327015 140721524330475 0
/proc/13522/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300244 s]
/proc/loadavg: 1.74 1.85 1.85 3/195 13522
/proc/meminfo: memFree=31680976/32770624 swapFree=0/191416
[pid=13522] ppid=13519 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13522/stat : 13522 (xcsp3-exec) S 13519 13522 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10754672 9740288 345 18446744073709551615 4194304 5098028 140721524324480 140721524322584 140449792352892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 7835648 140721524326811 140721524327015 140721524327015 140721524330475 0
/proc/13522/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.709128 s]
/proc/loadavg: 1.74 1.85 1.85 3/195 13522
/proc/meminfo: memFree=31680976/32770624 swapFree=0/191416
[pid=13522] ppid=13519 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13522/stat : 13522 (xcsp3-exec) S 13519 13522 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10754672 9740288 345 18446744073709551615 4194304 5098028 140721524324480 140721524322584 140449792352892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 7835648 140721524326811 140721524327015 140721524327015 140721524330475 0
/proc/13522/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50164 s]
/proc/loadavg: 1.74 1.85 1.85 4/211 13538
/proc/meminfo: memFree=31580612/32770624 swapFree=0/191360
[pid=13522] ppid=13519 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13522/stat : 13522 (xcsp3-exec) S 13519 13522 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10754672 9740288 345 18446744073709551615 4194304 5098028 140721524324480 140721524322584 140449792352892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 7835648 140721524326811 140721524327015 140721524327015 140721524330475 0
/proc/13522/statm: 2378 345 289 221 0 87 0
[pid=13524] ppid=13522 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/13524/stat : 13524 (java) S 13522 13522 5123 0 -1 1077944320 28997 0 0 0 289 7 0 0 20 0 15 0 10754679 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140733936477792 140209661038327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
/proc/13524/statm: 3495183 29724 3167 1 0 3483484 0
[pid=13524/tid=13525] ppid=13522 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/13524/task/13525/stat : 13525 (java) R 13522 13522 5123 0 -1 4202560 8804 0 0 0 132 4 0 0 20 0 15 0 10754679 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140209665276936 140209294525152 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13526] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13526/stat : 13526 (java) S 13522 13522 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754680 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140209618004624 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13527] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13527/stat : 13527 (java) S 13522 13522 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754680 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140209616951824 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13528] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13528/stat : 13528 (java) S 13522 13522 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754680 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140209615899024 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13529] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13529/stat : 13529 (java) S 13522 13522 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10754680 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140209614846224 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13530] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13530/stat : 13530 (java) S 13522 13522 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10754681 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140208846281584 140209661049474 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13531] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13531/stat : 13531 (java) S 13522 13522 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10754682 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140208845227552 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13532] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13532/stat : 13532 (java) S 13522 13522 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10754682 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140208844174704 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13533] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13533/stat : 13533 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754685 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140208843123024 140209661056923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13534] ppid=13522 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/13524/task/13534/stat : 13534 (java) R 13522 13522 5123 0 -1 4202560 7427 0 0 0 66 0 0 0 20 0 15 0 10754685 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140208842070384 140209642585734 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13535] ppid=13522 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/13524/task/13535/stat : 13535 (java) S 13522 13522 5123 0 -1 1077944384 8000 0 0 0 58 1 0 0 20 0 15 0 10754685 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140208841017584 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13536] ppid=13522 vsize=13980732 CPUtime=0.32 cores=0,2,4,6
/proc/13524/task/13536/stat : 13536 (java) S 13522 13522 5123 0 -1 1077944384 3457 0 0 0 32 0 0 0 20 0 15 0 10754685 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140208839964784 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13537] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13537/stat : 13537 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754685 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140208838912224 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13538] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13538/stat : 13538 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754691 14316269568 29724 18446744073709551615 4194304 4196468 140733936495248 140208837860528 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 13990244
[startup+3.10074 s]
/proc/loadavg: 1.74 1.85 1.85 3/211 13538
/proc/meminfo: memFree=31564656/32770624 swapFree=0/191360
[pid=13522] ppid=13519 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13522/stat : 13522 (xcsp3-exec) S 13519 13522 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10754672 9740288 345 18446744073709551615 4194304 5098028 140721524324480 140721524322584 140449792352892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 7835648 140721524326811 140721524327015 140721524327015 140721524330475 0
/proc/13522/statm: 2378 345 289 221 0 87 0
[pid=13524] ppid=13522 vsize=13980732 CPUtime=4.77 cores=0,2,4,6
/proc/13524/stat : 13524 (java) S 13522 13522 5123 0 -1 1077944320 31167 0 0 0 469 8 0 0 20 0 15 0 10754679 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140733936477792 140209661038327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
/proc/13524/statm: 3495183 38595 3169 1 0 3483484 0
[pid=13524/tid=13525] ppid=13522 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/13524/task/13525/stat : 13525 (java) R 13522 13522 5123 0 -1 4202560 9758 0 0 0 292 4 0 0 20 0 15 0 10754679 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140209665273664 140209294733261 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13526] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13526/stat : 13526 (java) S 13522 13522 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754680 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140209618004624 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13527] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13527/stat : 13527 (java) S 13522 13522 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754680 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140209616951824 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13528] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13528/stat : 13528 (java) S 13522 13522 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754680 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140209615899024 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13529] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13529/stat : 13529 (java) S 13522 13522 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10754680 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140209614846224 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13530] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13530/stat : 13530 (java) S 13522 13522 5123 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 10754681 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140208846281584 140209661049474 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13531] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13531/stat : 13531 (java) S 13522 13522 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10754682 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140208845227552 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13532] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13532/stat : 13532 (java) S 13522 13522 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10754682 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140208844174704 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13533] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13533/stat : 13533 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754685 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140208843123024 140209661056923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13534] ppid=13522 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/13524/task/13534/stat : 13534 (java) S 13522 13522 5123 0 -1 1077944384 7587 0 0 0 75 0 0 0 20 0 15 0 10754685 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140208842070384 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13535] ppid=13522 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/13524/task/13535/stat : 13535 (java) S 13522 13522 5123 0 -1 1077944384 8656 0 0 0 66 1 0 0 20 0 15 0 10754685 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140208841017584 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13536] ppid=13522 vsize=13980732 CPUtime=0.34 cores=0,2,4,6
/proc/13524/task/13536/stat : 13536 (java) S 13522 13522 5123 0 -1 1077944384 3809 0 0 0 34 0 0 0 20 0 15 0 10754685 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140208839964784 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13537] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13537/stat : 13537 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754685 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140208838912224 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13538] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13538/stat : 13538 (java) S 13522 13522 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10754691 14316269568 38595 18446744073709551615 4194304 4196468 140733936495248 140208837860528 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 13990244
[startup+6.3008 s]
/proc/loadavg: 1.76 1.85 1.85 5/211 13538
/proc/meminfo: memFree=31364988/32770624 swapFree=0/191372
[pid=13522] ppid=13519 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13522/stat : 13522 (xcsp3-exec) S 13519 13522 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10754672 9740288 345 18446744073709551615 4194304 5098028 140721524324480 140721524322584 140449792352892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 7835648 140721524326811 140721524327015 140721524327015 140721524330475 0
/proc/13522/statm: 2378 345 289 221 0 87 0
[pid=13524] ppid=13522 vsize=13980732 CPUtime=11.42 cores=0,2,4,6
/proc/13524/stat : 13524 (java) S 13522 13522 5123 0 -1 1077944320 45802 0 0 0 1116 26 0 0 20 0 15 0 10754679 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140733936477792 140209661038327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
/proc/13524/statm: 3495183 91660 3214 1 0 3483484 0
[pid=13524/tid=13525] ppid=13522 vsize=13980732 CPUtime=6.05 cores=0,2,4,6
/proc/13524/task/13525/stat : 13525 (java) R 13522 13522 5123 0 -1 4202560 11194 0 0 0 600 5 0 0 20 0 15 0 10754679 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140209665277584 140209297753372 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13526] ppid=13522 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/13524/task/13526/stat : 13526 (java) S 13522 13522 5123 0 -1 1077944384 231 0 0 0 4 3 0 0 20 0 15 0 10754680 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140209618004624 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13527] ppid=13522 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/13524/task/13527/stat : 13527 (java) S 13522 13522 5123 0 -1 1077944384 185 0 0 0 5 3 0 0 20 0 15 0 10754680 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140209616951824 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13528] ppid=13522 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/13524/task/13528/stat : 13528 (java) S 13522 13522 5123 0 -1 1077944384 337 0 0 0 5 3 0 0 20 0 15 0 10754680 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140209615899024 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13529] ppid=13522 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/13524/task/13529/stat : 13529 (java) S 13522 13522 5123 0 -1 1077944384 161 0 0 0 4 3 0 0 20 0 15 0 10754680 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140209614846224 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13530] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13530/stat : 13530 (java) S 13522 13522 5123 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 10754681 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140208846281584 140209661049474 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13531] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13531/stat : 13531 (java) S 13522 13522 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10754682 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140208845227616 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13532] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13532/stat : 13532 (java) S 13522 13522 5123 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10754682 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140208844174720 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13533] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13533/stat : 13533 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754685 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140208843123024 140209661056923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13534] ppid=13522 vsize=13980732 CPUtime=2.18 cores=0,2,4,6
/proc/13524/task/13534/stat : 13534 (java) S 13522 13522 5123 0 -1 1077944384 12076 0 0 0 217 1 0 0 20 0 15 0 10754685 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140208842070384 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13535] ppid=13522 vsize=13980732 CPUtime=2.16 cores=0,2,4,6
/proc/13524/task/13535/stat : 13535 (java) S 13522 13522 5123 0 -1 1077944384 13255 0 0 0 214 2 0 0 20 0 15 0 10754685 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140208841017584 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13536] ppid=13522 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/13524/task/13536/stat : 13536 (java) S 13522 13522 5123 0 -1 1077944384 5809 0 0 0 62 1 0 0 20 0 15 0 10754685 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140208839964784 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13537] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13537/stat : 13537 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754685 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140208838912224 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13538] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13538/stat : 13538 (java) S 13522 13522 5123 0 -1 1077944384 773 0 0 0 0 0 0 0 20 0 15 0 10754691 14316269568 91660 18446744073709551615 4194304 4196468 140733936495248 140208837860528 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
Current children cumulated CPU time (s) 11.42
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.78 1.86 1.85 3/211 13538
/proc/meminfo: memFree=31165832/32770624 swapFree=0/191380
[pid=13522] ppid=13519 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13522/stat : 13522 (xcsp3-exec) S 13519 13522 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10754672 9740288 345 18446744073709551615 4194304 5098028 140721524324480 140721524322584 140449792352892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 7835648 140721524326811 140721524327015 140721524327015 140721524330475 0
/proc/13522/statm: 2378 345 289 221 0 87 0
[pid=13524] ppid=13522 vsize=13980732 CPUtime=19.09 cores=0,2,4,6
/proc/13524/stat : 13524 (java) S 13522 13522 5123 0 -1 1077944320 49077 0 0 0 1875 34 0 0 20 0 15 0 10754679 14316269568 132018 18446744073709551615 4194304 4196468 140733936495248 140733936477792 140209661038327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
/proc/13524/statm: 3495183 132018 3225 1 0 3483484 0
[pid=13524/tid=13525] ppid=13522 vsize=13980732 CPUtime=12.42 cores=0,2,4,6
/proc/13524/task/13525/stat : 13525 (java) R 13522 13522 5123 0 -1 4202560 11913 0 0 0 1235 7 0 0 20 0 15 0 10754679 14316269568 132018 18446744073709551615 4194304 4196468 140733936495248 140209665274416 140209291601022 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13526] ppid=13522 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/13524/task/13526/stat : 13526 (java) S 13522 13522 5123 0 -1 1077944384 280 0 0 0 6 5 0 0 20 0 15 0 10754680 14316269568 132018 18446744073709551615 4194304 4196468 140733936495248 140209618004624 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13527] ppid=13522 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/13524/task/13527/stat : 13527 (java) S 13522 13522 5123 0 -1 1077944384 228 0 0 0 7 5 0 0 20 0 15 0 10754680 14316269568 132018 18446744073709551615 4194304 4196468 140733936495248 140209616951824 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
################
# More data... #
################
[pid=13524/tid=13531] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13531/stat : 13531 (java) S 13522 13522 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10754682 14316269568 178759 18446744073709551615 4194304 4196468 140733936495248 140208845227616 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13532] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13532/stat : 13532 (java) S 13522 13522 5123 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10754682 14316269568 178759 18446744073709551615 4194304 4196468 140733936495248 140208844174720 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13533] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13533/stat : 13533 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754685 14316269568 178759 18446744073709551615 4194304 4196468 140733936495248 140208843123024 140209661056923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13534] ppid=13522 vsize=13980732 CPUtime=4.8 cores=0,2,4,6
/proc/13524/task/13534/stat : 13534 (java) S 13522 13522 5123 0 -1 1077944384 24062 0 0 0 479 1 0 0 20 0 15 0 10754685 14316269568 178759 18446744073709551615 4194304 4196468 140733936495248 140208842070384 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13535] ppid=13522 vsize=13980732 CPUtime=4.79 cores=0,2,4,6
/proc/13524/task/13535/stat : 13535 (java) S 13522 13522 5123 0 -1 1077944384 22020 0 0 0 476 3 0 0 20 0 15 0 10754685 14316269568 178759 18446744073709551615 4194304 4196468 140733936495248 140208841017584 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13536] ppid=13522 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/13524/task/13536/stat : 13536 (java) S 13522 13522 5123 0 -1 1077944384 8637 0 0 0 89 2 0 0 20 0 15 0 10754685 14316269568 178759 18446744073709551615 4194304 4196468 140733936495248 140208839964784 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13537] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13537/stat : 13537 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754685 14316269568 178759 18446744073709551615 4194304 4196468 140733936495248 140208838912224 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13538] ppid=13522 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/13524/task/13538/stat : 13538 (java) S 13522 13522 5123 0 -1 1077944384 1081 0 0 0 1 3 0 0 20 0 15 0 10754691 14316269568 178759 18446744073709551615 4194304 4196468 140733936495248 140208837860528 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
Current children cumulated CPU time (s) 114.06
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.57 1.74 1.81 3/212 13631
/proc/meminfo: memFree=30186388/32770624 swapFree=0/191520
[pid=13522] ppid=13519 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13522/stat : 13522 (xcsp3-exec) S 13519 13522 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10754672 9740288 345 18446744073709551615 4194304 5098028 140721524324480 140721524322584 140449792352892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 7835648 140721524326811 140721524327015 140721524327015 140721524330475 0
/proc/13522/statm: 2378 345 289 221 0 87 0
[pid=13524] ppid=13522 vsize=13980732 CPUtime=175.75 cores=0,2,4,6
/proc/13524/stat : 13524 (java) S 13522 13522 5123 0 -1 1077944320 93807 0 0 0 17494 81 0 0 20 0 15 0 10754679 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140733936477792 140209661038327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
/proc/13524/statm: 3495183 150439 3256 1 0 3483484 0
[pid=13524/tid=13525] ppid=13522 vsize=13980732 CPUtime=161.14 cores=0,2,4,6
/proc/13524/task/13525/stat : 13525 (java) R 13522 13522 5123 0 -1 4202560 19935 0 0 0 16103 11 0 0 20 0 15 0 10754679 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140209665277232 140209298507411 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13526] ppid=13522 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/13524/task/13526/stat : 13526 (java) S 13522 13522 5123 0 -1 1077944384 2272 0 0 0 73 14 0 0 20 0 15 0 10754680 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140209618004624 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13527] ppid=13522 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/13524/task/13527/stat : 13527 (java) S 13522 13522 5123 0 -1 1077944384 1301 0 0 0 75 14 0 0 20 0 15 0 10754680 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140209616951824 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13528] ppid=13522 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/13524/task/13528/stat : 13528 (java) S 13522 13522 5123 0 -1 1077944384 2077 0 0 0 75 14 0 0 20 0 15 0 10754680 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140209615899024 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13529] ppid=13522 vsize=13980732 CPUtime=0.88 cores=0,2,4,6
/proc/13524/task/13529/stat : 13529 (java) S 13522 13522 5123 0 -1 1077944384 1770 0 0 0 74 14 0 0 20 0 15 0 10754680 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140209614846224 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13530] ppid=13522 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/13524/task/13530/stat : 13530 (java) S 13522 13522 5123 0 -1 1077944384 3572 0 0 0 6 1 0 0 20 0 15 0 10754681 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140208846281584 140209661049474 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13531] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13531/stat : 13531 (java) S 13522 13522 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10754682 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140208845227616 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13532] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13532/stat : 13532 (java) S 13522 13522 5123 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10754682 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140208844174720 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13533] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13533/stat : 13533 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754685 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140208843123024 140209661056923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13534] ppid=13522 vsize=13980732 CPUtime=4.98 cores=0,2,4,6
/proc/13524/task/13534/stat : 13534 (java) S 13522 13522 5123 0 -1 1077944384 25684 0 0 0 497 1 0 0 20 0 15 0 10754685 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140208842070384 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13535] ppid=13522 vsize=13980732 CPUtime=4.93 cores=0,2,4,6
/proc/13524/task/13535/stat : 13535 (java) S 13522 13522 5123 0 -1 1077944384 24658 0 0 0 490 3 0 0 20 0 15 0 10754685 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140208841017584 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13536] ppid=13522 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/13524/task/13536/stat : 13536 (java) S 13522 13522 5123 0 -1 1077944384 9887 0 0 0 91 2 0 0 20 0 15 0 10754685 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140208839964784 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13537] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13537/stat : 13537 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754685 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140208838912224 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13538] ppid=13522 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/13524/task/13538/stat : 13538 (java) S 13522 13522 5123 0 -1 1077944384 1287 0 0 0 3 5 0 0 20 0 15 0 10754691 14316269568 150439 18446744073709551615 4194304 4196468 140733936495248 140208837860528 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
Current children cumulated CPU time (s) 175.75
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.53 1.70 1.79 3/212 13633
/proc/meminfo: memFree=30040492/32770624 swapFree=0/191552
[pid=13522] ppid=13519 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13522/stat : 13522 (xcsp3-exec) S 13519 13522 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10754672 9740288 345 18446744073709551615 4194304 5098028 140721524324480 140721524322584 140449792352892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 7835648 140721524326811 140721524327015 140721524327015 140721524330475 0
/proc/13522/statm: 2378 345 289 221 0 87 0
[pid=13524] ppid=13522 vsize=13980732 CPUtime=237.86 cores=0,2,4,6
/proc/13524/stat : 13524 (java) S 13522 13522 5123 0 -1 1077944320 102772 0 0 0 23687 99 0 0 20 0 15 0 10754679 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140733936477792 140209661038327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
/proc/13524/statm: 3495183 174301 3257 1 0 3483484 0
[pid=13524/tid=13525] ppid=13522 vsize=13980732 CPUtime=220.34 cores=0,2,4,6
/proc/13524/task/13525/stat : 13525 (java) R 13522 13522 5123 0 -1 4202560 20693 0 0 0 22023 11 0 0 20 0 15 0 10754679 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140209665277472 140209298082148 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13526] ppid=13522 vsize=13980732 CPUtime=1.55 cores=0,2,4,6
/proc/13524/task/13526/stat : 13526 (java) S 13522 13522 5123 0 -1 1077944384 2855 0 0 0 137 18 0 0 20 0 15 0 10754680 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140209618004624 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13527] ppid=13522 vsize=13980732 CPUtime=1.55 cores=0,2,4,6
/proc/13524/task/13527/stat : 13527 (java) S 13522 13522 5123 0 -1 1077944384 1862 0 0 0 138 17 0 0 20 0 15 0 10754680 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140209616951824 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13528] ppid=13522 vsize=13980732 CPUtime=1.56 cores=0,2,4,6
/proc/13524/task/13528/stat : 13528 (java) S 13522 13522 5123 0 -1 1077944384 2722 0 0 0 138 18 0 0 20 0 15 0 10754680 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140209615899024 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13529] ppid=13522 vsize=13980732 CPUtime=1.55 cores=0,2,4,6
/proc/13524/task/13529/stat : 13529 (java) S 13522 13522 5123 0 -1 1077944384 2290 0 0 0 137 18 0 0 20 0 15 0 10754680 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140209614846224 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13530] ppid=13522 vsize=13980732 CPUtime=0.18 cores=0,2,4,6
/proc/13524/task/13530/stat : 13530 (java) S 13522 13522 5123 0 -1 1077944384 7451 0 0 0 16 2 0 0 20 0 15 0 10754681 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140208846281584 140209661049474 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13531] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13531/stat : 13531 (java) S 13522 13522 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10754682 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140208845227616 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13532] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13532/stat : 13532 (java) S 13522 13522 5123 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10754682 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140208844174720 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13533] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13533/stat : 13533 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754685 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140208843123024 140209661056923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13534] ppid=13522 vsize=13980732 CPUtime=5 cores=0,2,4,6
/proc/13524/task/13534/stat : 13534 (java) S 13522 13522 5123 0 -1 1077944384 25900 0 0 0 498 2 0 0 20 0 15 0 10754685 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140208842070384 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13535] ppid=13522 vsize=13980732 CPUtime=4.99 cores=0,2,4,6
/proc/13524/task/13535/stat : 13535 (java) S 13522 13522 5123 0 -1 1077944384 25931 0 0 0 496 3 0 0 20 0 15 0 10754685 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140208841017584 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13536] ppid=13522 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/13524/task/13536/stat : 13536 (java) S 13522 13522 5123 0 -1 1077944384 10396 0 0 0 92 2 0 0 20 0 15 0 10754685 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140208839964784 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13537] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13537/stat : 13537 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754685 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140208838912224 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13538] ppid=13522 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/13524/task/13538/stat : 13538 (java) S 13522 13522 5123 0 -1 1077944384 1308 0 0 0 5 7 0 0 20 0 15 0 10754691 14316269568 174301 18446744073709551615 4194304 4196468 140733936495248 140208837860528 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
Current children cumulated CPU time (s) 237.86
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.64 1.71 1.79 3/212 13633
/proc/meminfo: memFree=29967324/32770624 swapFree=0/191560
[pid=13522] ppid=13519 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13522/stat : 13522 (xcsp3-exec) S 13519 13522 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10754672 9740288 345 18446744073709551615 4194304 5098028 140721524324480 140721524322584 140449792352892 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 7835648 140721524326811 140721524327015 140721524327015 140721524330475 0
/proc/13522/statm: 2378 345 289 221 0 87 0
[pid=13524] ppid=13522 vsize=13980732 CPUtime=255.82 cores=0,2,4,6
/proc/13524/stat : 13524 (java) S 13522 13522 5123 0 -1 1077944320 104733 0 0 0 25476 106 0 0 20 0 15 0 10754679 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140733936477792 140209661038327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
/proc/13524/statm: 3495183 189974 3257 1 0 3483484 0
[pid=13524/tid=13525] ppid=13522 vsize=13980732 CPUtime=237.93 cores=0,2,4,6
/proc/13524/task/13525/stat : 13525 (java) R 13522 13522 5123 0 -1 4202560 22387 0 0 0 23782 11 0 0 20 0 15 0 10754679 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140209665278032 140209292377103 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13526] ppid=13522 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/13524/task/13526/stat : 13526 (java) S 13522 13522 5123 0 -1 1077944384 2933 0 0 0 144 19 0 0 20 0 15 0 10754680 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140209618004624 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13527] ppid=13522 vsize=13980732 CPUtime=1.65 cores=0,2,4,6
/proc/13524/task/13527/stat : 13527 (java) S 13522 13522 5123 0 -1 1077944384 1917 0 0 0 146 19 0 0 20 0 15 0 10754680 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140209616951824 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13528] ppid=13522 vsize=13980732 CPUtime=1.66 cores=0,2,4,6
/proc/13524/task/13528/stat : 13528 (java) S 13522 13522 5123 0 -1 1077944384 2788 0 0 0 146 20 0 0 20 0 15 0 10754680 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140209615899024 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13529] ppid=13522 vsize=13980732 CPUtime=1.64 cores=0,2,4,6
/proc/13524/task/13529/stat : 13529 (java) S 13522 13522 5123 0 -1 1077944384 2340 0 0 0 144 20 0 0 20 0 15 0 10754680 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140209614846224 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13530] ppid=13522 vsize=13980732 CPUtime=0.18 cores=0,2,4,6
/proc/13524/task/13530/stat : 13530 (java) S 13522 13522 5123 0 -1 1077944384 7469 0 0 0 16 2 0 0 20 0 15 0 10754681 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140208846281584 140209661049474 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13531] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13531/stat : 13531 (java) S 13522 13522 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10754682 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140208845227616 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13532] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13532/stat : 13532 (java) S 13522 13522 5123 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10754682 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140208844174720 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13533] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13533/stat : 13533 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754685 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140208843123024 140209661056923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13534] ppid=13522 vsize=13980732 CPUtime=5 cores=0,2,4,6
/proc/13524/task/13534/stat : 13534 (java) S 13522 13522 5123 0 -1 1077944384 25900 0 0 0 498 2 0 0 20 0 15 0 10754685 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140208842070384 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13535] ppid=13522 vsize=13980732 CPUtime=4.99 cores=0,2,4,6
/proc/13524/task/13535/stat : 13535 (java) S 13522 13522 5123 0 -1 1077944384 25931 0 0 0 496 3 0 0 20 0 15 0 10754685 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140208841017584 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13536] ppid=13522 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/13524/task/13536/stat : 13536 (java) S 13522 13522 5123 0 -1 1077944384 10396 0 0 0 92 2 0 0 20 0 15 0 10754685 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140208839964784 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13537] ppid=13522 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13524/task/13537/stat : 13537 (java) S 13522 13522 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754685 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140208838912224 140209661048533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
[pid=13524/tid=13538] ppid=13522 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/13524/task/13538/stat : 13538 (java) S 13522 13522 5123 0 -1 1077944384 1308 0 0 0 5 7 0 0 20 0 15 0 10754691 14316269568 189974 18446744073709551615 4194304 4196468 140733936495248 140208837860528 140209661049474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140733936501204 140733936501379 140733936501379 140733936504783 0
Current children cumulated CPU time (s) 255.82
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 13524 sig 9
??? kill 13522 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 13522 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1739
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=933
# CPU time returned by wait4() is 0.002672
# while last known CPU time is 255.82
#
# 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): 255.82
CPU user time (s): 254.76
CPU system time (s): 1.06
CPU usage (%): 106.587
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001739
system time used= 0.000933
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= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.15028 second user time and 1.45222 second system time
The end