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-4254073-1501615703/watcher-4254073-1501615703 -o /tmp/evaluation-result-4254073-1501615703/solver-4254073-1501615703 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5295 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 972139746 HOME/instance-4254073-1501615703.xml
pid=9955
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.74 1.94 1.96 2/199 9958
/proc/meminfo: memFree=31660576/32770624 swapFree=0/280688
[pid=9958] ppid=9955 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9958/stat : 9958 (runsolver) D 9955 9958 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9076054 24240128 106 18446744073709551615 4194304 4338465 140731085686928 140731085684568 139831927448279 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 16625664 140731085688926 140731085689414 140731085689414 140731085692874 0
/proc/9958/statm: 5918 106 53 36 0 2156 0
[startup+0.100084 s]
/proc/loadavg: 1.74 1.94 1.96 2/199 9958
/proc/meminfo: memFree=31660576/32770624 swapFree=0/280688
[pid=9958] ppid=9955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9958/stat : 9958 (xcsp3-exec) S 9955 9958 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9076054 9740288 345 18446744073709551615 4194304 5098028 140724716430240 140724716428344 140024898364028 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17985536 140724716437916 140724716438119 140724716438119 140724716441579 0
/proc/9958/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20028 s]
/proc/loadavg: 1.74 1.94 1.96 2/199 9958
/proc/meminfo: memFree=31660576/32770624 swapFree=0/280688
[pid=9958] ppid=9955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9958/stat : 9958 (xcsp3-exec) S 9955 9958 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9076054 9740288 345 18446744073709551615 4194304 5098028 140724716430240 140724716428344 140024898364028 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17985536 140724716437916 140724716438119 140724716438119 140724716441579 0
/proc/9958/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300449 s]
/proc/loadavg: 1.74 1.94 1.96 2/199 9958
/proc/meminfo: memFree=31660576/32770624 swapFree=0/280688
[pid=9958] ppid=9955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9958/stat : 9958 (xcsp3-exec) S 9955 9958 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9076054 9740288 345 18446744073709551615 4194304 5098028 140724716430240 140724716428344 140024898364028 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17985536 140724716437916 140724716438119 140724716438119 140724716441579 0
/proc/9958/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700387 s]
/proc/loadavg: 1.74 1.94 1.96 2/199 9958
/proc/meminfo: memFree=31660576/32770624 swapFree=0/280688
[pid=9958] ppid=9955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9958/stat : 9958 (xcsp3-exec) S 9955 9958 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9076054 9740288 345 18446744073709551615 4194304 5098028 140724716430240 140724716428344 140024898364028 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17985536 140724716437916 140724716438119 140724716438119 140724716441579 0
/proc/9958/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 1.74 1.94 1.96 5/215 9974
/proc/meminfo: memFree=31560712/32770624 swapFree=0/280712
[pid=9958] ppid=9955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9958/stat : 9958 (xcsp3-exec) S 9955 9958 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9076054 9740288 345 18446744073709551615 4194304 5098028 140724716430240 140724716428344 140024898364028 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17985536 140724716437916 140724716438119 140724716438119 140724716441579 0
/proc/9958/statm: 2378 345 289 221 0 87 0
[pid=9960] ppid=9958 vsize=13980732 CPUtime=3.68 cores=1,3,5,7
/proc/9960/stat : 9960 (java) S 9958 9958 5234 0 -1 1077944320 37715 0 0 0 359 9 0 0 20 0 15 0 9076063 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140726099999520 140163492753143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
/proc/9960/statm: 3495183 29596 3179 1 0 3483484 0
[pid=9960/tid=9961] ppid=9958 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/9960/task/9961/stat : 9961 (java) R 9958 9958 5234 0 -1 4202560 8585 0 0 0 131 3 0 0 20 0 15 0 9076063 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140163496988848 140163123779851 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9962] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9962/stat : 9962 (java) S 9958 9958 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9076064 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140163449719952 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9963] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9963/stat : 9963 (java) S 9958 9958 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9076064 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140163448667152 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9964] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9964/stat : 9964 (java) S 9958 9958 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9076064 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140163447614352 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9965] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9965/stat : 9965 (java) S 9958 9958 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9076064 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140163446561552 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9966] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9966/stat : 9966 (java) S 9958 9958 5234 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 9076065 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140163038206320 140163492764290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9967] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9967/stat : 9967 (java) S 9958 9958 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9076066 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140162969363488 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9968] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9968/stat : 9968 (java) S 9958 9958 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9076066 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140162968310640 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9969] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9969/stat : 9969 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076068 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140162967258960 140163492771739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9970] ppid=9958 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/9960/task/9970/stat : 9970 (java) S 9958 9958 5234 0 -1 1077944384 10137 0 0 0 101 1 0 0 20 0 15 0 9076068 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140162966207344 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9971] ppid=9958 vsize=13980732 CPUtime=1.03 cores=1,3,5,7
/proc/9960/task/9971/stat : 9971 (java) R 9958 9958 5234 0 -1 4202560 16064 0 0 0 101 2 0 0 20 0 15 0 9076068 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140162965146000 140163471998991 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9972] ppid=9958 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/9960/task/9972/stat : 9972 (java) S 9958 9958 5234 0 -1 1077944384 1610 0 0 0 24 0 0 0 20 0 15 0 9076068 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140162964101744 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9973] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9973/stat : 9973 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076069 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140162963049184 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9974] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9974/stat : 9974 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076073 14316269568 29596 18446744073709551615 4194304 4196468 140726100016976 140162961996464 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 13990244
[startup+3.10061 s]
/proc/loadavg: 1.74 1.94 1.96 3/215 9974
/proc/meminfo: memFree=31533280/32770624 swapFree=0/280712
[pid=9958] ppid=9955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9958/stat : 9958 (xcsp3-exec) S 9955 9958 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9076054 9740288 345 18446744073709551615 4194304 5098028 140724716430240 140724716428344 140024898364028 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17985536 140724716437916 140724716438119 140724716438119 140724716441579 0
/proc/9958/statm: 2378 345 289 221 0 87 0
[pid=9960] ppid=9958 vsize=13980732 CPUtime=5.87 cores=1,3,5,7
/proc/9960/stat : 9960 (java) S 9958 9958 5234 0 -1 1077944320 39208 0 0 0 577 10 0 0 20 0 15 0 9076063 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140726099999520 140163492753143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
/proc/9960/statm: 3495183 43553 3181 1 0 3483484 0
[pid=9960/tid=9961] ppid=9958 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/9960/task/9961/stat : 9961 (java) R 9958 9958 5234 0 -1 4202560 8944 0 0 0 290 4 0 0 20 0 15 0 9076063 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140163496989840 140163124652206 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9962] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9962/stat : 9962 (java) S 9958 9958 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9076064 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140163449719952 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9963] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9963/stat : 9963 (java) S 9958 9958 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9076064 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140163448667152 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9964] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9964/stat : 9964 (java) S 9958 9958 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9076064 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140163447614352 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9965] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9965/stat : 9965 (java) S 9958 9958 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9076064 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140163446561552 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9966] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9966/stat : 9966 (java) S 9958 9958 5234 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9076065 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140163038206320 140163492764290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9967] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9967/stat : 9967 (java) S 9958 9958 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9076066 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140162969363488 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9968] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9968/stat : 9968 (java) S 9958 9958 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9076066 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140162968310640 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9969] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9969/stat : 9969 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076068 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140162967258960 140163492771739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9970] ppid=9958 vsize=13980732 CPUtime=1.3 cores=1,3,5,7
/proc/9960/task/9970/stat : 9970 (java) S 9958 9958 5234 0 -1 1077944384 10350 0 0 0 129 1 0 0 20 0 15 0 9076068 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140162966207344 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9971] ppid=9958 vsize=13980732 CPUtime=1.32 cores=1,3,5,7
/proc/9960/task/9971/stat : 9971 (java) S 9958 9958 5234 0 -1 1077944384 16369 0 0 0 130 2 0 0 20 0 15 0 9076068 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140162965154544 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9972] ppid=9958 vsize=13980732 CPUtime=0.27 cores=1,3,5,7
/proc/9960/task/9972/stat : 9972 (java) S 9958 9958 5234 0 -1 1077944384 2176 0 0 0 26 1 0 0 20 0 15 0 9076068 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140162964101744 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9973] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9973/stat : 9973 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076069 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140162963049184 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9974] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9974/stat : 9974 (java) S 9958 9958 5234 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 9076073 14316269568 43553 18446744073709551615 4194304 4196468 140726100016976 140162961996464 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 13990244
[startup+6.30072 s]
/proc/loadavg: 1.77 1.94 1.96 3/215 9974
/proc/meminfo: memFree=31448564/32770624 swapFree=0/280720
[pid=9958] ppid=9955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9958/stat : 9958 (xcsp3-exec) S 9955 9958 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9076054 9740288 345 18446744073709551615 4194304 5098028 140724716430240 140724716428344 140024898364028 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17985536 140724716437916 140724716438119 140724716438119 140724716441579 0
/proc/9958/statm: 2378 345 289 221 0 87 0
[pid=9960] ppid=9958 vsize=13980732 CPUtime=9.46 cores=1,3,5,7
/proc/9960/stat : 9960 (java) S 9958 9958 5234 0 -1 1077944320 46938 0 0 0 934 12 0 0 20 0 15 0 9076063 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140726099999520 140163492753143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
/proc/9960/statm: 3495183 55712 3209 1 0 3483484 0
[pid=9960/tid=9961] ppid=9958 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/9960/task/9961/stat : 9961 (java) R 9958 9958 5234 0 -1 4202560 9349 0 0 0 609 5 0 0 20 0 15 0 9076063 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140163496991952 140163123479297 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9962] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9962/stat : 9962 (java) S 9958 9958 5234 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 15 0 9076064 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140163449719952 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9963] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9963/stat : 9963 (java) S 9958 9958 5234 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 9076064 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140163448667152 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9964] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9964/stat : 9964 (java) S 9958 9958 5234 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 15 0 9076064 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140163447614352 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9965] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9965/stat : 9965 (java) S 9958 9958 5234 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 15 0 9076064 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140163446561552 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9966] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9966/stat : 9966 (java) S 9958 9958 5234 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 15 0 9076065 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140163038206320 140163492764290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9967] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9967/stat : 9967 (java) S 9958 9958 5234 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 9076066 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140162969363488 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9968] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9968/stat : 9968 (java) S 9958 9958 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9076066 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140162968310640 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9969] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9969/stat : 9969 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076068 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140162967258960 140163492771739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9970] ppid=9958 vsize=13980732 CPUtime=1.51 cores=1,3,5,7
/proc/9960/task/9970/stat : 9970 (java) S 9958 9958 5234 0 -1 1077944384 12781 0 0 0 150 1 0 0 20 0 15 0 9076068 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140162966207344 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9971] ppid=9958 vsize=13980732 CPUtime=1.45 cores=1,3,5,7
/proc/9960/task/9971/stat : 9971 (java) S 9958 9958 5234 0 -1 1077944384 17812 0 0 0 143 2 0 0 20 0 15 0 9076068 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140162965154544 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9972] ppid=9958 vsize=13980732 CPUtime=0.29 cores=1,3,5,7
/proc/9960/task/9972/stat : 9972 (java) S 9958 9958 5234 0 -1 1077944384 3514 0 0 0 28 1 0 0 20 0 15 0 9076068 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140162964101744 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9973] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9973/stat : 9973 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076069 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140162963049184 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9974] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9974/stat : 9974 (java) S 9958 9958 5234 0 -1 1077944384 927 0 0 0 0 0 0 0 20 0 15 0 9076073 14316269568 55712 18446744073709551615 4194304 4196468 140726100016976 140162961996464 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
Current children cumulated CPU time (s) 9.46
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.62 1.91 1.95 3/215 9974
/proc/meminfo: memFree=31443548/32770624 swapFree=0/280728
[pid=9958] ppid=9955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9958/stat : 9958 (xcsp3-exec) S 9955 9958 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9076054 9740288 345 18446744073709551615 4194304 5098028 140724716430240 140724716428344 140024898364028 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17985536 140724716437916 140724716438119 140724716438119 140724716441579 0
/proc/9958/statm: 2378 345 289 221 0 87 0
[pid=9960] ppid=9958 vsize=13980732 CPUtime=15.89 cores=1,3,5,7
/proc/9960/stat : 9960 (java) S 9958 9958 5234 0 -1 1077944320 47502 0 0 0 1577 12 0 0 20 0 15 0 9076063 14316269568 55845 18446744073709551615 4194304 4196468 140726100016976 140726099999520 140163492753143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
/proc/9960/statm: 3495183 55845 3214 1 0 3483484 0
[pid=9960/tid=9961] ppid=9958 vsize=13980732 CPUtime=12.52 cores=1,3,5,7
/proc/9960/task/9961/stat : 9961 (java) R 9958 9958 5234 0 -1 4202560 9443 0 0 0 1247 5 0 0 20 0 15 0 9076063 14316269568 55845 18446744073709551615 4194304 4196468 140726100016976 140163496991936 140163477994417 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9962] ppid=9958 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9960/task/9962/stat : 9962 (java) S 9958 9958 5234 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 15 0 9076064 14316269568 55845 18446744073709551615 4194304 4196468 140726100016976 140163449719952 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9963] ppid=9958 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9960/task/9963/stat : 9963 (java) S 9958 9958 5234 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 15 0 9076064 14316269568 55845 18446744073709551615 4194304 4196468 140726100016976 140163448667152 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
################
# More data... #
################
[pid=9960/tid=9967] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9967/stat : 9967 (java) S 9958 9958 5234 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 9076066 14316269568 66779 18446744073709551615 4194304 4196468 140726100016976 140162969363488 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9968] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9968/stat : 9968 (java) S 9958 9958 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9076066 14316269568 66779 18446744073709551615 4194304 4196468 140726100016976 140162968310640 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9969] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9969/stat : 9969 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076068 14316269568 66779 18446744073709551615 4194304 4196468 140726100016976 140162967258960 140163492771739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9970] ppid=9958 vsize=13980732 CPUtime=1.66 cores=1,3,5,7
/proc/9960/task/9970/stat : 9970 (java) S 9958 9958 5234 0 -1 1077944384 15570 0 0 0 164 2 0 0 20 0 15 0 9076068 14316269568 66779 18446744073709551615 4194304 4196468 140726100016976 140162966207344 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9971] ppid=9958 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/9960/task/9971/stat : 9971 (java) S 9958 9958 5234 0 -1 1077944384 21121 0 0 0 154 2 0 0 20 0 15 0 9076068 14316269568 66779 18446744073709551615 4194304 4196468 140726100016976 140162965154544 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9972] ppid=9958 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/9960/task/9972/stat : 9972 (java) S 9958 9958 5234 0 -1 1077944384 5570 0 0 0 30 1 0 0 20 0 15 0 9076068 14316269568 66779 18446744073709551615 4194304 4196468 140726100016976 140162964101744 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9973] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9973/stat : 9973 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076069 14316269568 66779 18446744073709551615 4194304 4196468 140726100016976 140162963049184 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9974] ppid=9958 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/9960/task/9974/stat : 9974 (java) S 9958 9958 5234 0 -1 1077944384 1087 0 0 0 1 2 0 0 20 0 15 0 9076073 14316269568 66779 18446744073709551615 4194304 4196468 140726100016976 140162961996464 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
Current children cumulated CPU time (s) 106.39
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.34 1.69 1.86 3/215 10058
/proc/meminfo: memFree=31346544/32770624 swapFree=0/280876
[pid=9958] ppid=9955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9958/stat : 9958 (xcsp3-exec) S 9955 9958 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9076054 9740288 345 18446744073709551615 4194304 5098028 140724716430240 140724716428344 140024898364028 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17985536 140724716437916 140724716438119 140724716438119 140724716441579 0
/proc/9958/statm: 2378 345 289 221 0 87 0
[pid=9960] ppid=9958 vsize=13980732 CPUtime=167.05 cores=1,3,5,7
/proc/9960/stat : 9960 (java) S 9958 9958 5234 0 -1 1077944320 69422 0 0 0 16663 42 0 0 20 0 15 0 9076063 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140726099999520 140163492753143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
/proc/9960/statm: 3495183 83032 3218 1 0 3483484 0
[pid=9960/tid=9961] ppid=9958 vsize=13980732 CPUtime=161.24 cores=1,3,5,7
/proc/9960/task/9961/stat : 9961 (java) R 9958 9958 5234 0 -1 4202560 15939 0 0 0 16115 9 0 0 20 0 15 0 9076063 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140163496992576 140163124493240 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9962] ppid=9958 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/9960/task/9962/stat : 9962 (java) S 9958 9958 5234 0 -1 1077944384 1280 0 0 0 37 7 0 0 20 0 15 0 9076064 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140163449719952 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9963] ppid=9958 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/9960/task/9963/stat : 9963 (java) S 9958 9958 5234 0 -1 1077944384 919 0 0 0 39 6 0 0 20 0 15 0 9076064 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140163448667152 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9964] ppid=9958 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/9960/task/9964/stat : 9964 (java) S 9958 9958 5234 0 -1 1077944384 1932 0 0 0 39 5 0 0 20 0 15 0 9076064 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140163447614352 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9965] ppid=9958 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/9960/task/9965/stat : 9965 (java) S 9958 9958 5234 0 -1 1077944384 2139 0 0 0 39 5 0 0 20 0 15 0 9076064 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140163446561552 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9966] ppid=9958 vsize=13980732 CPUtime=0.33 cores=1,3,5,7
/proc/9960/task/9966/stat : 9966 (java) S 9958 9958 5234 0 -1 1077944384 1753 0 0 0 30 3 0 0 20 0 15 0 9076065 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140163038206320 140163492764290 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9967] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9967/stat : 9967 (java) S 9958 9958 5234 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 9076066 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140162969363488 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9968] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9968/stat : 9968 (java) S 9958 9958 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9076066 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140162968310640 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9969] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9969/stat : 9969 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076068 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140162967258960 140163492771739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9970] ppid=9958 vsize=13980732 CPUtime=1.67 cores=1,3,5,7
/proc/9960/task/9970/stat : 9970 (java) S 9958 9958 5234 0 -1 1077944384 15570 0 0 0 165 2 0 0 20 0 15 0 9076068 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140162966207344 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9971] ppid=9958 vsize=13980732 CPUtime=1.58 cores=1,3,5,7
/proc/9960/task/9971/stat : 9971 (java) S 9958 9958 5234 0 -1 1077944384 21846 0 0 0 156 2 0 0 20 0 15 0 9076068 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140162965154544 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9972] ppid=9958 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/9960/task/9972/stat : 9972 (java) S 9958 9958 5234 0 -1 1077944384 5572 0 0 0 30 1 0 0 20 0 15 0 9076068 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140162964101744 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9973] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9973/stat : 9973 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076069 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140162963049184 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9974] ppid=9958 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/9960/task/9974/stat : 9974 (java) S 9958 9958 5234 0 -1 1077944384 1095 0 0 0 2 4 0 0 20 0 15 0 9076073 14316269568 83032 18446744073709551615 4194304 4196468 140726100016976 140162961996464 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
Current children cumulated CPU time (s) 167.05
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.46 1.65 1.84 3/215 10060
/proc/meminfo: memFree=31294440/32770624 swapFree=0/280924
[pid=9958] ppid=9955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9958/stat : 9958 (xcsp3-exec) S 9955 9958 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9076054 9740288 345 18446744073709551615 4194304 5098028 140724716430240 140724716428344 140024898364028 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17985536 140724716437916 140724716438119 140724716438119 140724716441579 0
/proc/9958/statm: 2378 345 289 221 0 87 0
[pid=9960] ppid=9958 vsize=13980732 CPUtime=227.83 cores=1,3,5,7
/proc/9960/stat : 9960 (java) S 9958 9958 5234 0 -1 1077944320 73235 0 0 0 22731 52 0 0 20 0 15 0 9076063 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140726099999520 140163492753143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
/proc/9960/statm: 3495183 94542 3218 1 0 3483484 0
[pid=9960/tid=9961] ppid=9958 vsize=13980732 CPUtime=220.78 cores=1,3,5,7
/proc/9960/task/9961/stat : 9961 (java) R 9958 9958 5234 0 -1 4202560 17534 0 0 0 22069 9 0 0 20 0 15 0 9076063 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140163496992688 140163477368680 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9962] ppid=9958 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/9960/task/9962/stat : 9962 (java) S 9958 9958 5234 0 -1 1077944384 1715 0 0 0 62 9 0 0 20 0 15 0 9076064 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140163449719952 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9963] ppid=9958 vsize=13980732 CPUtime=0.72 cores=1,3,5,7
/proc/9960/task/9963/stat : 9963 (java) S 9958 9958 5234 0 -1 1077944384 1545 0 0 0 64 8 0 0 20 0 15 0 9076064 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140163448667152 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9964] ppid=9958 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/9960/task/9964/stat : 9964 (java) S 9958 9958 5234 0 -1 1077944384 2283 0 0 0 64 7 0 0 20 0 15 0 9076064 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140163447614352 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9965] ppid=9958 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/9960/task/9965/stat : 9965 (java) S 9958 9958 5234 0 -1 1077944384 2608 0 0 0 64 7 0 0 20 0 15 0 9076064 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140163446561552 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9966] ppid=9958 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/9960/task/9966/stat : 9966 (java) S 9958 9958 5234 0 -1 1077944384 2069 0 0 0 41 5 0 0 20 0 15 0 9076065 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140163038206320 140163492764290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9967] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9967/stat : 9967 (java) S 9958 9958 5234 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 9076066 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140162969363488 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9968] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9968/stat : 9968 (java) S 9958 9958 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9076066 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140162968310640 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9969] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9969/stat : 9969 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076068 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140162967258960 140163492771739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9970] ppid=9958 vsize=13980732 CPUtime=1.67 cores=1,3,5,7
/proc/9960/task/9970/stat : 9970 (java) S 9958 9958 5234 0 -1 1077944384 15573 0 0 0 165 2 0 0 20 0 15 0 9076068 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140162966207344 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9971] ppid=9958 vsize=13980732 CPUtime=1.58 cores=1,3,5,7
/proc/9960/task/9971/stat : 9971 (java) S 9958 9958 5234 0 -1 1077944384 21848 0 0 0 156 2 0 0 20 0 15 0 9076068 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140162965154544 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9972] ppid=9958 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/9960/task/9972/stat : 9972 (java) S 9958 9958 5234 0 -1 1077944384 5573 0 0 0 30 1 0 0 20 0 15 0 9076068 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140162964101744 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9973] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9973/stat : 9973 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076069 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140162963049184 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9974] ppid=9958 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/9960/task/9974/stat : 9974 (java) S 9958 9958 5234 0 -1 1077944384 1110 0 0 0 3 6 0 0 20 0 15 0 9076073 14316269568 94542 18446744073709551615 4194304 4196468 140726100016976 140162961996464 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
Current children cumulated CPU time (s) 227.83
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.47 1.64 1.83 3/215 10060
/proc/meminfo: memFree=31296172/32770624 swapFree=0/280936
[pid=9958] ppid=9955 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9958/stat : 9958 (xcsp3-exec) S 9955 9958 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9076054 9740288 345 18446744073709551615 4194304 5098028 140724716430240 140724716428344 140024898364028 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 17985536 140724716437916 140724716438119 140724716438119 140724716441579 0
/proc/9958/statm: 2378 345 289 221 0 87 0
[pid=9960] ppid=9958 vsize=13980732 CPUtime=245.56 cores=1,3,5,7
/proc/9960/stat : 9960 (java) S 9958 9958 5234 0 -1 1077944320 73263 0 0 0 24503 53 0 0 20 0 15 0 9076063 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140726099999520 140163492753143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
/proc/9960/statm: 3495183 94467 3218 1 0 3483484 0
[pid=9960/tid=9961] ppid=9958 vsize=13980732 CPUtime=238.46 cores=1,3,5,7
/proc/9960/task/9961/stat : 9961 (java) R 9958 9958 5234 0 -1 4202560 17541 0 0 0 23837 9 0 0 20 0 15 0 9076063 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140163496993008 140163124492145 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9962] ppid=9958 vsize=13980732 CPUtime=0.72 cores=1,3,5,7
/proc/9960/task/9962/stat : 9962 (java) S 9958 9958 5234 0 -1 1077944384 1719 0 0 0 63 9 0 0 20 0 15 0 9076064 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140163449719952 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9963] ppid=9958 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/9960/task/9963/stat : 9963 (java) S 9958 9958 5234 0 -1 1077944384 1551 0 0 0 65 8 0 0 20 0 15 0 9076064 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140163448667152 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9964] ppid=9958 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/9960/task/9964/stat : 9964 (java) S 9958 9958 5234 0 -1 1077944384 2292 0 0 0 65 8 0 0 20 0 15 0 9076064 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140163447614352 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9965] ppid=9958 vsize=13980732 CPUtime=0.72 cores=1,3,5,7
/proc/9960/task/9965/stat : 9965 (java) S 9958 9958 5234 0 -1 1077944384 2610 0 0 0 65 7 0 0 20 0 15 0 9076064 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140163446561552 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9966] ppid=9958 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/9960/task/9966/stat : 9966 (java) S 9958 9958 5234 0 -1 1077944384 2069 0 0 0 41 5 0 0 20 0 15 0 9076065 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140163038206320 140163492764290 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9967] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9967/stat : 9967 (java) S 9958 9958 5234 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 9076066 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140162969363488 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9968] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9968/stat : 9968 (java) S 9958 9958 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9076066 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140162968310640 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9969] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9969/stat : 9969 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076068 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140162967258960 140163492771739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9970] ppid=9958 vsize=13980732 CPUtime=1.67 cores=1,3,5,7
/proc/9960/task/9970/stat : 9970 (java) S 9958 9958 5234 0 -1 1077944384 15573 0 0 0 165 2 0 0 20 0 15 0 9076068 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140162966207344 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9971] ppid=9958 vsize=13980732 CPUtime=1.58 cores=1,3,5,7
/proc/9960/task/9971/stat : 9971 (java) S 9958 9958 5234 0 -1 1077944384 21848 0 0 0 156 2 0 0 20 0 15 0 9076068 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140162965154544 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9972] ppid=9958 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/9960/task/9972/stat : 9972 (java) S 9958 9958 5234 0 -1 1077944384 5573 0 0 0 30 1 0 0 20 0 15 0 9076068 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140162964101744 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9973] ppid=9958 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9960/task/9973/stat : 9973 (java) S 9958 9958 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9076069 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140162963049184 140163492763349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
[pid=9960/tid=9974] ppid=9958 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/9960/task/9974/stat : 9974 (java) S 9958 9958 5234 0 -1 1077944384 1110 0 0 0 3 6 0 0 20 0 15 0 9076073 14316269568 94467 18446744073709551615 4194304 4196468 140726100016976 140162961996464 140163492764290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140726100021716 140726100021891 140726100021891 140726100025295 0
Current children cumulated CPU time (s) 245.56
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 9960 sig 9
??? kill 9958 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 9958 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1858
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=119
# CPU time returned by wait4() is 0.001977
# while last known CPU time is 245.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 245.56
CPU user time (s): 245.03
CPU system time (s): 0.53
CPU usage (%): 102.312
Max. virtual memory (cumulated for all children) (KiB): 13992828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001858
system time used= 0.000119
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.15933 second user time and 1.43994 second system time
The end