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-4255045-1501619432/watcher-4255045-1501619432 -o /tmp/evaluation-result-4255045-1501619432/solver-4255045-1501619432 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10653 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 964102765 HOME/instance-4255045-1501619432.xml
pid=11897
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.53 1.58 1.73 3/198 11900
/proc/meminfo: memFree=31423580/32770624 swapFree=0/187356
[pid=11900] ppid=11897 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11900/stat : 11900 (runsolver) D 11897 11900 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9758514 24240128 108 18446744073709551615 4194304 4338465 140727280348512 140727280346152 139822294397655 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 7405568 140727280353373 140727280353862 140727280353862 140727280357322 0
/proc/11900/statm: 5918 108 54 36 0 2156 0
[startup+0.100206 s]
/proc/loadavg: 1.53 1.58 1.73 3/198 11900
/proc/meminfo: memFree=31423580/32770624 swapFree=0/187356
[pid=11900] ppid=11897 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11900/stat : 11900 (xcsp3-exec) S 11897 11900 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9758514 9740288 345 18446744073709551615 4194304 5098028 140720697006128 140720697004232 139842842555004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 24526848 140720697012636 140720697012839 140720697012839 140720697016299 0
/proc/11900/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200296 s]
/proc/loadavg: 1.53 1.58 1.73 3/198 11900
/proc/meminfo: memFree=31423580/32770624 swapFree=0/187356
[pid=11900] ppid=11897 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11900/stat : 11900 (xcsp3-exec) S 11897 11900 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9758514 9740288 345 18446744073709551615 4194304 5098028 140720697006128 140720697004232 139842842555004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 24526848 140720697012636 140720697012839 140720697012839 140720697016299 0
/proc/11900/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30029 s]
/proc/loadavg: 1.53 1.58 1.73 3/198 11900
/proc/meminfo: memFree=31423580/32770624 swapFree=0/187356
[pid=11900] ppid=11897 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11900/stat : 11900 (xcsp3-exec) S 11897 11900 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9758514 9740288 345 18446744073709551615 4194304 5098028 140720697006128 140720697004232 139842842555004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 24526848 140720697012636 140720697012839 140720697012839 140720697016299 0
/proc/11900/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700839 s]
/proc/loadavg: 1.53 1.58 1.73 3/198 11900
/proc/meminfo: memFree=31423580/32770624 swapFree=0/187356
[pid=11900] ppid=11897 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11900/stat : 11900 (xcsp3-exec) S 11897 11900 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9758514 9740288 345 18446744073709551615 4194304 5098028 140720697006128 140720697004232 139842842555004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 24526848 140720697012636 140720697012839 140720697012839 140720697016299 0
/proc/11900/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 1.53 1.58 1.73 6/214 11916
/proc/meminfo: memFree=31256168/32770624 swapFree=0/187372
[pid=11900] ppid=11897 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11900/stat : 11900 (xcsp3-exec) S 11897 11900 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9758514 9740288 345 18446744073709551615 4194304 5098028 140720697006128 140720697004232 139842842555004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 24526848 140720697012636 140720697012839 140720697012839 140720697016299 0
/proc/11900/statm: 2378 345 289 221 0 87 0
[pid=11902] ppid=11900 vsize=13980732 CPUtime=3.98 cores=1,3,5,7
/proc/11902/stat : 11902 (java) S 11900 11900 5228 0 -1 1077944320 25337 0 0 0 391 7 0 0 20 0 15 0 9758522 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140736385432112 140098608692983 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
/proc/11902/statm: 3495183 37669 3183 1 0 3483484 0
[pid=11902/tid=11903] ppid=11900 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/11902/task/11903/stat : 11903 (java) R 11900 11900 5228 0 -1 4202560 9438 0 0 0 132 4 0 0 20 0 15 0 9758522 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140098612931008 140098608704918 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11904] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11904/stat : 11904 (java) S 11900 11900 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9758523 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140098550638992 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11905] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11905/stat : 11905 (java) S 11900 11900 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9758523 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140098549586192 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11906] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11906/stat : 11906 (java) S 11900 11900 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9758523 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140098548533904 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11907] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11907/stat : 11907 (java) S 11900 11900 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9758523 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140098547481104 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11908] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11908/stat : 11908 (java) S 11900 11900 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9758524 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140098154371696 140098608704130 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11909] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11909/stat : 11909 (java) S 11900 11900 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9758525 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140098153317664 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11910] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11910/stat : 11910 (java) S 11900 11900 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9758525 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140098152265328 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11911] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11911/stat : 11911 (java) S 11900 11900 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9758527 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140098151213648 140098608711579 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11912] ppid=11900 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/11902/task/11912/stat : 11912 (java) R 11900 11900 5228 0 -1 4202560 4302 0 0 0 99 0 0 0 20 0 15 0 9758527 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140098150160624 140098608714330 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11913] ppid=11900 vsize=13980732 CPUtime=0.98 cores=1,3,5,7
/proc/11902/task/11913/stat : 11913 (java) R 11900 11900 5228 0 -1 4202560 6418 0 0 0 98 0 0 0 20 0 15 0 9758527 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140098149093472 140098590237072 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11914] ppid=11900 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/11902/task/11914/stat : 11914 (java) S 11900 11900 5228 0 -1 1077944384 3867 0 0 0 61 0 0 0 20 0 15 0 9758527 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140098148055408 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11915] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11915/stat : 11915 (java) S 11900 11900 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9758528 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140098147002848 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11916] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11916/stat : 11916 (java) S 11900 11900 5228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 9758531 14316269568 37669 18446744073709551615 4194304 4196468 140736385449568 140098145950640 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 13990244
[startup+3.10067 s]
/proc/loadavg: 1.53 1.58 1.73 5/214 11916
/proc/meminfo: memFree=31035432/32770624 swapFree=0/187372
[pid=11900] ppid=11897 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11900/stat : 11900 (xcsp3-exec) S 11897 11900 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9758514 9740288 345 18446744073709551615 4194304 5098028 140720697006128 140720697004232 139842842555004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 24526848 140720697012636 140720697012839 140720697012839 140720697016299 0
/proc/11900/statm: 2378 345 289 221 0 87 0
[pid=11902] ppid=11900 vsize=13980732 CPUtime=8.2 cores=1,3,5,7
/proc/11902/stat : 11902 (java) S 11900 11900 5228 0 -1 1077944320 28829 0 0 0 811 9 0 0 20 0 15 0 9758522 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140736385432112 140098608692983 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
/proc/11902/statm: 3495183 53495 3218 1 0 3483484 0
[pid=11902/tid=11903] ppid=11900 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/11902/task/11903/stat : 11903 (java) R 11900 11900 5228 0 -1 4202560 9944 0 0 0 290 5 0 0 20 0 15 0 9758522 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140098612932280 140098233003652 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11904] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11904/stat : 11904 (java) S 11900 11900 5228 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 9758523 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140098550638992 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11905] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11905/stat : 11905 (java) S 11900 11900 5228 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9758523 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140098549586192 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11906] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11906/stat : 11906 (java) S 11900 11900 5228 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 9758523 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140098548533904 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11907] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11907/stat : 11907 (java) S 11900 11900 5228 0 -1 1077944384 482 0 0 0 0 0 0 0 20 0 15 0 9758523 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140098547481104 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11908] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11908/stat : 11908 (java) S 11900 11900 5228 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 9758524 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140098154371696 140098608704130 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11909] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11909/stat : 11909 (java) S 11900 11900 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9758525 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140098153317664 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11910] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11910/stat : 11910 (java) S 11900 11900 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9758525 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140098152265328 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11911] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11911/stat : 11911 (java) S 11900 11900 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9758527 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140098151213648 140098608711579 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11912] ppid=11900 vsize=13980732 CPUtime=2.13 cores=1,3,5,7
/proc/11902/task/11912/stat : 11912 (java) S 11900 11900 5228 0 -1 1077944384 4895 0 0 0 213 0 0 0 20 0 15 0 9758527 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140098150160496 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11913] ppid=11900 vsize=13980732 CPUtime=2.28 cores=1,3,5,7
/proc/11902/task/11913/stat : 11913 (java) S 11900 11900 5228 0 -1 1077944384 7013 0 0 0 227 1 0 0 20 0 15 0 9758527 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140098149107696 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11914] ppid=11900 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/11902/task/11914/stat : 11914 (java) S 11900 11900 5228 0 -1 1077944384 4695 0 0 0 77 1 0 0 20 0 15 0 9758527 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140098148055408 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11915] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11915/stat : 11915 (java) S 11900 11900 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9758528 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140098147002848 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11916] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11916/stat : 11916 (java) S 11900 11900 5228 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9758531 14316269568 53495 18446744073709551615 4194304 4196468 140736385449568 140098145950640 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
Current children cumulated CPU time (s) 8.2
Current children cumulated vsize (KiB) 13990244
[startup+6.30065 s]
/proc/loadavg: 1.57 1.58 1.74 3/214 11916
/proc/meminfo: memFree=31002416/32770624 swapFree=0/187376
[pid=11900] ppid=11897 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11900/stat : 11900 (xcsp3-exec) S 11897 11900 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9758514 9740288 345 18446744073709551615 4194304 5098028 140720697006128 140720697004232 139842842555004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 24526848 140720697012636 140720697012839 140720697012839 140720697016299 0
/proc/11900/statm: 2378 345 289 221 0 87 0
[pid=11902] ppid=11900 vsize=13980732 CPUtime=12.67 cores=1,3,5,7
/proc/11902/stat : 11902 (java) S 11900 11900 5228 0 -1 1077944320 29832 0 0 0 1258 9 0 0 20 0 15 0 9758522 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140736385432112 140098608692983 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
/proc/11902/statm: 3495183 52361 3226 1 0 3483484 0
[pid=11902/tid=11903] ppid=11900 vsize=13980732 CPUtime=6.15 cores=1,3,5,7
/proc/11902/task/11903/stat : 11903 (java) R 11900 11900 5228 0 -1 4202560 9962 0 0 0 610 5 0 0 20 0 15 0 9758522 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140098612929008 140098234117673 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11904] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11904/stat : 11904 (java) S 11900 11900 5228 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 9758523 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140098550638992 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11905] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11905/stat : 11905 (java) S 11900 11900 5228 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9758523 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140098549586192 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11906] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11906/stat : 11906 (java) S 11900 11900 5228 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 9758523 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140098548533904 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11907] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11907/stat : 11907 (java) S 11900 11900 5228 0 -1 1077944384 482 0 0 0 0 0 0 0 20 0 15 0 9758523 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140098547481104 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11908] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11908/stat : 11908 (java) S 11900 11900 5228 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 9758524 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140098154371696 140098608704130 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11909] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11909/stat : 11909 (java) S 11900 11900 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9758525 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140098153317664 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11910] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11910/stat : 11910 (java) S 11900 11900 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9758525 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140098152265328 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11911] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11911/stat : 11911 (java) S 11900 11900 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9758527 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140098151213648 140098608711579 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11912] ppid=11900 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/11902/task/11912/stat : 11912 (java) R 11900 11900 5228 0 -1 4202560 5768 0 0 0 293 0 0 0 20 0 15 0 9758527 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140098150160496 140098590213852 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11913] ppid=11900 vsize=13980732 CPUtime=2.72 cores=1,3,5,7
/proc/11902/task/11913/stat : 11913 (java) S 11900 11900 5228 0 -1 1077944384 7089 0 0 0 271 1 0 0 20 0 15 0 9758527 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140098149107696 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11914] ppid=11900 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/11902/task/11914/stat : 11914 (java) S 11900 11900 5228 0 -1 1077944384 4719 0 0 0 79 1 0 0 20 0 15 0 9758527 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140098148055408 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11915] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11915/stat : 11915 (java) S 11900 11900 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9758528 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140098147002848 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11916] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11916/stat : 11916 (java) S 11900 11900 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9758531 14316269568 52361 18446744073709551615 4194304 4196468 140736385449568 140098145950640 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.60 1.59 1.74 3/214 11916
/proc/meminfo: memFree=30966900/32770624 swapFree=0/187384
[pid=11900] ppid=11897 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11900/stat : 11900 (xcsp3-exec) S 11897 11900 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9758514 9740288 345 18446744073709551615 4194304 5098028 140720697006128 140720697004232 139842842555004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 24526848 140720697012636 140720697012839 140720697012839 140720697016299 0
/proc/11900/statm: 2378 345 289 221 0 87 0
[pid=11902] ppid=11900 vsize=13980732 CPUtime=19.38 cores=1,3,5,7
/proc/11902/stat : 11902 (java) S 11900 11900 5228 0 -1 1077944320 35859 0 0 0 1928 10 0 0 20 0 15 0 9758522 14316269568 55044 18446744073709551615 4194304 4196468 140736385449568 140736385432112 140098608692983 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
/proc/11902/statm: 3495183 55044 3233 1 0 3483484 0
[pid=11902/tid=11903] ppid=11900 vsize=13980732 CPUtime=12.53 cores=1,3,5,7
/proc/11902/task/11903/stat : 11903 (java) R 11900 11900 5228 0 -1 4202560 10924 0 0 0 1247 6 0 0 20 0 15 0 9758522 14316269568 55044 18446744073709551615 4194304 4196468 140736385449568 140098612930048 140098233731953 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11904] ppid=11900 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11902/task/11904/stat : 11904 (java) S 11900 11900 5228 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 15 0 9758523 14316269568 55044 18446744073709551615 4194304 4196468 140736385449568 140098550638992 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11905] ppid=11900 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11902/task/11905/stat : 11905 (java) S 11900 11900 5228 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 15 0 9758523 14316269568 55044 18446744073709551615 4194304 4196468 140736385449568 140098549586192 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
################
# More data... #
################
[pid=11902/tid=11909] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11909/stat : 11909 (java) S 11900 11900 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9758525 14316269568 47413 18446744073709551615 4194304 4196468 140736385449568 140098153317664 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11910] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11910/stat : 11910 (java) S 11900 11900 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9758525 14316269568 47413 18446744073709551615 4194304 4196468 140736385449568 140098152265328 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11911] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11911/stat : 11911 (java) S 11900 11900 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9758527 14316269568 47413 18446744073709551615 4194304 4196468 140736385449568 140098151213648 140098608711579 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11912] ppid=11900 vsize=13980732 CPUtime=3.28 cores=1,3,5,7
/proc/11902/task/11912/stat : 11912 (java) S 11900 11900 5228 0 -1 1077944384 11686 0 0 0 327 1 0 0 20 0 15 0 9758527 14316269568 47413 18446744073709551615 4194304 4196468 140736385449568 140098150160496 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11913] ppid=11900 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/11902/task/11913/stat : 11913 (java) S 11900 11900 5228 0 -1 1077944384 12625 0 0 0 304 1 0 0 20 0 15 0 9758527 14316269568 47413 18446744073709551615 4194304 4196468 140736385449568 140098149107696 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11914] ppid=11900 vsize=13980732 CPUtime=0.84 cores=1,3,5,7
/proc/11902/task/11914/stat : 11914 (java) S 11900 11900 5228 0 -1 1077944384 8874 0 0 0 83 1 0 0 20 0 15 0 9758527 14316269568 47413 18446744073709551615 4194304 4196468 140736385449568 140098148055408 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11915] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11915/stat : 11915 (java) S 11900 11900 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9758528 14316269568 47413 18446744073709551615 4194304 4196468 140736385449568 140098147002848 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11916] ppid=11900 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11902/task/11916/stat : 11916 (java) S 11900 11900 5228 0 -1 1077944384 507 0 0 0 0 2 0 0 20 0 15 0 9758531 14316269568 47413 18446744073709551615 4194304 4196468 140736385449568 140098145950640 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
Current children cumulated CPU time (s) 109.93
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.87 1.73 1.77 3/216 11923
/proc/meminfo: memFree=29412380/32770624 swapFree=0/187492
[pid=11900] ppid=11897 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11900/stat : 11900 (xcsp3-exec) S 11897 11900 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9758514 9740288 345 18446744073709551615 4194304 5098028 140720697006128 140720697004232 139842842555004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 24526848 140720697012636 140720697012839 140720697012839 140720697016299 0
/proc/11900/statm: 2378 345 289 221 0 87 0
[pid=11902] ppid=11900 vsize=13980732 CPUtime=170.62 cores=1,3,5,7
/proc/11902/stat : 11902 (java) S 11900 11900 5228 0 -1 1077944320 63656 0 0 0 17039 23 0 0 20 0 15 0 9758522 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140736385432112 140098608692983 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
/proc/11902/statm: 3495183 49735 3235 1 0 3483484 0
[pid=11902/tid=11903] ppid=11900 vsize=13980732 CPUtime=161.74 cores=1,3,5,7
/proc/11902/task/11903/stat : 11903 (java) R 11900 11900 5228 0 -1 4202560 14887 0 0 0 16168 6 0 0 20 0 15 0 9758522 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140098612932592 140098231527795 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11904] ppid=11900 vsize=13980732 CPUtime=0.34 cores=1,3,5,7
/proc/11902/task/11904/stat : 11904 (java) S 11900 11900 5228 0 -1 1077944384 1544 0 0 0 32 2 0 0 20 0 15 0 9758523 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140098550638992 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11905] ppid=11900 vsize=13980732 CPUtime=0.33 cores=1,3,5,7
/proc/11902/task/11905/stat : 11905 (java) S 11900 11900 5228 0 -1 1077944384 1874 0 0 0 32 1 0 0 20 0 15 0 9758523 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140098549586192 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11906] ppid=11900 vsize=13980732 CPUtime=0.33 cores=1,3,5,7
/proc/11902/task/11906/stat : 11906 (java) S 11900 11900 5228 0 -1 1077944384 2631 0 0 0 32 1 0 0 20 0 15 0 9758523 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140098548533904 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11907] ppid=11900 vsize=13980732 CPUtime=0.34 cores=1,3,5,7
/proc/11902/task/11907/stat : 11907 (java) S 11900 11900 5228 0 -1 1077944384 1481 0 0 0 32 2 0 0 20 0 15 0 9758523 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140098547481104 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11908] ppid=11900 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/11902/task/11908/stat : 11908 (java) S 11900 11900 5228 0 -1 1077944384 1526 0 0 0 4 1 0 0 20 0 15 0 9758524 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140098154371696 140098608704130 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11909] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11909/stat : 11909 (java) S 11900 11900 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9758525 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140098153317664 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11910] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11910/stat : 11910 (java) S 11900 11900 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9758525 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140098152265328 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11911] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11911/stat : 11911 (java) S 11900 11900 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9758527 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140098151213648 140098608711579 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11912] ppid=11900 vsize=13980732 CPUtime=3.35 cores=1,3,5,7
/proc/11902/task/11912/stat : 11912 (java) S 11900 11900 5228 0 -1 1077944384 12936 0 0 0 334 1 0 0 20 0 15 0 9758527 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140098150160496 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11913] ppid=11900 vsize=13980732 CPUtime=3.15 cores=1,3,5,7
/proc/11902/task/11913/stat : 11913 (java) S 11900 11900 5228 0 -1 1077944384 14900 0 0 0 314 1 0 0 20 0 15 0 9758527 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140098149107696 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11914] ppid=11900 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/11902/task/11914/stat : 11914 (java) S 11900 11900 5228 0 -1 1077944384 9998 0 0 0 84 1 0 0 20 0 15 0 9758527 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140098148055408 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11915] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11915/stat : 11915 (java) S 11900 11900 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9758528 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140098147002848 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11916] ppid=11900 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/11902/task/11916/stat : 11916 (java) S 11900 11900 5228 0 -1 1077944384 532 0 0 0 1 3 0 0 20 0 15 0 9758531 14316269568 49735 18446744073709551615 4194304 4196468 140736385449568 140098145950640 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
Current children cumulated CPU time (s) 170.62
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.76 1.72 1.77 3/217 11932
/proc/meminfo: memFree=29377708/32770624 swapFree=0/187524
[pid=11900] ppid=11897 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11900/stat : 11900 (xcsp3-exec) S 11897 11900 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9758514 9740288 345 18446744073709551615 4194304 5098028 140720697006128 140720697004232 139842842555004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 24526848 140720697012636 140720697012839 140720697012839 140720697016299 0
/proc/11900/statm: 2378 345 289 221 0 87 0
[pid=11902] ppid=11900 vsize=13980732 CPUtime=231.29 cores=1,3,5,7
/proc/11902/stat : 11902 (java) S 11900 11900 5228 0 -1 1077944320 65872 0 0 0 23099 30 0 0 20 0 15 0 9758522 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140736385432112 140098608692983 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
/proc/11902/statm: 3495183 58164 3235 1 0 3483484 0
[pid=11902/tid=11903] ppid=11900 vsize=13980732 CPUtime=221.5 cores=1,3,5,7
/proc/11902/task/11903/stat : 11903 (java) R 11900 11900 5228 0 -1 4202560 15561 0 0 0 22143 7 0 0 20 0 15 0 9758522 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140098612932592 140098234117714 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11904] ppid=11900 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/11902/task/11904/stat : 11904 (java) S 11900 11900 5228 0 -1 1077944384 1867 0 0 0 52 3 0 0 20 0 15 0 9758523 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140098550638992 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11905] ppid=11900 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/11902/task/11905/stat : 11905 (java) S 11900 11900 5228 0 -1 1077944384 2241 0 0 0 52 3 0 0 20 0 15 0 9758523 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140098549586192 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11906] ppid=11900 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/11902/task/11906/stat : 11906 (java) S 11900 11900 5228 0 -1 1077944384 3124 0 0 0 52 3 0 0 20 0 15 0 9758523 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140098548533904 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11907] ppid=11900 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/11902/task/11907/stat : 11907 (java) S 11900 11900 5228 0 -1 1077944384 1542 0 0 0 52 3 0 0 20 0 15 0 9758523 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140098547481104 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11908] ppid=11900 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/11902/task/11908/stat : 11908 (java) S 11900 11900 5228 0 -1 1077944384 1794 0 0 0 7 2 0 0 20 0 15 0 9758524 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140098154371696 140098608704130 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11909] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11909/stat : 11909 (java) S 11900 11900 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9758525 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140098153317664 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11910] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11910/stat : 11910 (java) S 11900 11900 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9758525 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140098152265328 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11911] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11911/stat : 11911 (java) S 11900 11900 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9758527 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140098151213648 140098608711579 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11912] ppid=11900 vsize=13980732 CPUtime=3.35 cores=1,3,5,7
/proc/11902/task/11912/stat : 11912 (java) S 11900 11900 5228 0 -1 1077944384 12938 0 0 0 334 1 0 0 20 0 15 0 9758527 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140098150160496 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11913] ppid=11900 vsize=13980732 CPUtime=3.15 cores=1,3,5,7
/proc/11902/task/11913/stat : 11913 (java) S 11900 11900 5228 0 -1 1077944384 14903 0 0 0 314 1 0 0 20 0 15 0 9758527 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140098149107696 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11914] ppid=11900 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/11902/task/11914/stat : 11914 (java) S 11900 11900 5228 0 -1 1077944384 10001 0 0 0 84 1 0 0 20 0 15 0 9758527 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140098148055408 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11915] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11915/stat : 11915 (java) S 11900 11900 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9758528 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140098147002848 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11916] ppid=11900 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/11902/task/11916/stat : 11916 (java) S 11900 11900 5228 0 -1 1077944384 554 0 0 0 2 4 0 0 20 0 15 0 9758531 14316269568 58164 18446744073709551615 4194304 4196468 140736385449568 140098145950640 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
Current children cumulated CPU time (s) 231.29
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.06 1.79 1.79 3/217 12010
/proc/meminfo: memFree=31624624/32770624 swapFree=0/187580
[pid=11900] ppid=11897 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11900/stat : 11900 (xcsp3-exec) S 11897 11900 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9758514 9740288 345 18446744073709551615 4194304 5098028 140720697006128 140720697004232 139842842555004 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 24526848 140720697012636 140720697012839 140720697012839 140720697016299 0
/proc/11900/statm: 2378 345 289 221 0 87 0
[pid=11902] ppid=11900 vsize=13980732 CPUtime=249.18 cores=1,3,5,7
/proc/11902/stat : 11902 (java) S 11900 11900 5228 0 -1 1077944320 65987 0 0 0 24887 31 0 0 20 0 15 0 9758522 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140736385432112 140098608692983 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
/proc/11902/statm: 3495183 60723 3235 1 0 3483484 0
[pid=11902/tid=11903] ppid=11900 vsize=13980732 CPUtime=239.12 cores=1,3,5,7
/proc/11902/task/11903/stat : 11903 (java) R 11900 11900 5228 0 -1 4202560 15630 0 0 0 23905 7 0 0 20 0 15 0 9758522 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140098612932736 140098232893200 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11904] ppid=11900 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/11902/task/11904/stat : 11904 (java) S 11900 11900 5228 0 -1 1077944384 1874 0 0 0 59 3 0 0 20 0 15 0 9758523 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140098550638992 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11905] ppid=11900 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/11902/task/11905/stat : 11905 (java) S 11900 11900 5228 0 -1 1077944384 2253 0 0 0 58 3 0 0 20 0 15 0 9758523 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140098549586192 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11906] ppid=11900 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/11902/task/11906/stat : 11906 (java) S 11900 11900 5228 0 -1 1077944384 3135 0 0 0 58 3 0 0 20 0 15 0 9758523 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140098548533904 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11907] ppid=11900 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/11902/task/11907/stat : 11907 (java) S 11900 11900 5228 0 -1 1077944384 1555 0 0 0 59 3 0 0 20 0 15 0 9758523 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140098547481104 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11908] ppid=11900 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/11902/task/11908/stat : 11908 (java) S 11900 11900 5228 0 -1 1077944384 1797 0 0 0 8 2 0 0 20 0 15 0 9758524 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140098154371696 140098608704130 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11909] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11909/stat : 11909 (java) S 11900 11900 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9758525 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140098153317664 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11910] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11910/stat : 11910 (java) S 11900 11900 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9758525 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140098152265328 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11911] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11911/stat : 11911 (java) S 11900 11900 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9758527 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140098151213648 140098608711579 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11912] ppid=11900 vsize=13980732 CPUtime=3.35 cores=1,3,5,7
/proc/11902/task/11912/stat : 11912 (java) S 11900 11900 5228 0 -1 1077944384 12938 0 0 0 334 1 0 0 20 0 15 0 9758527 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140098150160496 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11913] ppid=11900 vsize=13980732 CPUtime=3.15 cores=1,3,5,7
/proc/11902/task/11913/stat : 11913 (java) S 11900 11900 5228 0 -1 1077944384 14903 0 0 0 314 1 0 0 20 0 15 0 9758527 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140098149107696 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11914] ppid=11900 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/11902/task/11914/stat : 11914 (java) S 11900 11900 5228 0 -1 1077944384 10001 0 0 0 84 1 0 0 20 0 15 0 9758527 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140098148055408 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11915] ppid=11900 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11902/task/11915/stat : 11915 (java) S 11900 11900 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9758528 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140098147002848 140098608703189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
[pid=11902/tid=11916] ppid=11900 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/11902/task/11916/stat : 11916 (java) S 11900 11900 5228 0 -1 1077944384 554 0 0 0 2 4 0 0 20 0 15 0 9758531 14316269568 60723 18446744073709551615 4194304 4196468 140736385449568 140098145950640 140098608704130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9195520 140736385450452 140736385450627 140736385450627 140736385454031 0
Current children cumulated CPU time (s) 249.18
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 11902 sig 9
??? kill 11900 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 11900 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1723
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=928
# CPU time returned by wait4() is 0.002651
# while last known CPU time is 249.18
#
# 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): 249.18
CPU user time (s): 248.87
CPU system time (s): 0.31
CPU usage (%): 103.821
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001723
system time used= 0.000928
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= 2
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.18874 second user time and 1.44342 second system time
The end