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-4255078-1501620922/watcher-4255078-1501620922 -o /tmp/evaluation-result-4255078-1501620922/solver-4255078-1501620922 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11514 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 975760027 HOME/instance-4255078-1501620922.xml
pid=21989
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.57 2.16 1.95 3/200 21992
/proc/meminfo: memFree=30961248/32770624 swapFree=0/290156
[pid=21992] ppid=21989 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21992/stat : 21992 (runsolver) D 21989 21992 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9597994 24240128 107 18446744073709551615 4194304 4338465 140720333013664 140720333011304 139690157871831 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 17813504 140720333017181 140720333017670 140720333017670 140720333021130 0
/proc/21992/statm: 5918 107 54 36 0 2156 0
[startup+0.100203 s]
/proc/loadavg: 2.57 2.16 1.95 3/200 21992
/proc/meminfo: memFree=30961248/32770624 swapFree=0/290156
[pid=21992] ppid=21989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21992/stat : 21992 (xcsp3-exec) S 21989 21992 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9597994 9740288 345 18446744073709551615 4194304 5098028 140721623222336 140721623220440 139913021477500 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 29716480 140721623228828 140721623229031 140721623229031 140721623232491 0
/proc/21992/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200255 s]
/proc/loadavg: 2.57 2.16 1.95 3/200 21992
/proc/meminfo: memFree=30961248/32770624 swapFree=0/290156
[pid=21992] ppid=21989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21992/stat : 21992 (xcsp3-exec) S 21989 21992 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9597994 9740288 345 18446744073709551615 4194304 5098028 140721623222336 140721623220440 139913021477500 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 29716480 140721623228828 140721623229031 140721623229031 140721623232491 0
/proc/21992/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30033 s]
/proc/loadavg: 2.57 2.16 1.95 3/200 21992
/proc/meminfo: memFree=30961248/32770624 swapFree=0/290156
[pid=21992] ppid=21989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21992/stat : 21992 (xcsp3-exec) S 21989 21992 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9597994 9740288 345 18446744073709551615 4194304 5098028 140721623222336 140721623220440 139913021477500 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 29716480 140721623228828 140721623229031 140721623229031 140721623232491 0
/proc/21992/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700943 s]
/proc/loadavg: 2.57 2.16 1.95 3/200 21992
/proc/meminfo: memFree=30961248/32770624 swapFree=0/290156
[pid=21992] ppid=21989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21992/stat : 21992 (xcsp3-exec) S 21989 21992 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9597994 9740288 345 18446744073709551615 4194304 5098028 140721623222336 140721623220440 139913021477500 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 29716480 140721623228828 140721623229031 140721623229031 140721623232491 0
/proc/21992/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50193 s]
/proc/loadavg: 2.57 2.16 1.95 5/216 22008
/proc/meminfo: memFree=30863016/32770624 swapFree=0/290152
[pid=21992] ppid=21989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21992/stat : 21992 (xcsp3-exec) S 21989 21992 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9597994 9740288 345 18446744073709551615 4194304 5098028 140721623222336 140721623220440 139913021477500 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 29716480 140721623228828 140721623229031 140721623229031 140721623232491 0
/proc/21992/statm: 2378 345 289 221 0 87 0
[pid=21994] ppid=21992 vsize=13980732 CPUtime=3.8 cores=0,2,4,6
/proc/21994/stat : 21994 (java) S 21992 21992 5234 0 -1 1077944320 27152 0 0 0 373 7 0 0 20 0 15 0 9598000 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 140724307432016 139875331157751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
/proc/21994/statm: 3495183 36801 3190 1 0 3483484 0
[pid=21994/tid=21995] ppid=21992 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/21994/task/21995/stat : 21995 (java) R 21992 21992 5234 0 -1 4202560 9425 0 0 0 135 3 0 0 20 0 15 0 9598000 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 139875335395824 139874961036770 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21996] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/21996/stat : 21996 (java) S 21992 21992 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9598001 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 139875288124304 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21997] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/21997/stat : 21997 (java) S 21992 21992 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9598001 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 139875287071504 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21998] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/21998/stat : 21998 (java) S 21992 21992 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9598001 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 139875286019216 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21999] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/21999/stat : 21999 (java) S 21992 21992 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9598001 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 139875284966416 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22000] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22000/stat : 22000 (java) S 21992 21992 5234 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 9598002 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 139874876819568 139875331168898 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22001] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22001/stat : 22001 (java) S 21992 21992 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9598003 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 139874875765536 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22002] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22002/stat : 22002 (java) S 21992 21992 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9598003 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 139874874713200 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22003] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22003/stat : 22003 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598006 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 139874873661520 139875331176347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22004] ppid=21992 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/21994/task/22004/stat : 22004 (java) R 21992 21992 5234 0 -1 4202560 8306 0 0 0 88 1 0 0 20 0 15 0 9598006 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 139874872594856 139875316263861 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22005] ppid=21992 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/21994/task/22005/stat : 22005 (java) R 21992 21992 5234 0 -1 4202560 4334 0 0 0 87 0 0 0 20 0 15 0 9598006 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 139874443447984 139875312675213 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22006] ppid=21992 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/21994/task/22006/stat : 22006 (java) S 21992 21992 5234 0 -1 1077944384 3772 0 0 0 62 1 0 0 20 0 15 0 9598006 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 139874442402672 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22007] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22007/stat : 22007 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598006 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 139874441350112 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22008] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22008/stat : 22008 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598010 14316269568 36801 18446744073709551615 4194304 4196468 140724307449472 139874440296880 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 13990244
[startup+3.10145 s]
/proc/loadavg: 2.57 2.16 1.95 5/216 22008
/proc/meminfo: memFree=30794468/32770624 swapFree=0/290152
[pid=21992] ppid=21989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21992/stat : 21992 (xcsp3-exec) S 21989 21992 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9597994 9740288 345 18446744073709551615 4194304 5098028 140721623222336 140721623220440 139913021477500 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 29716480 140721623228828 140721623229031 140721623229031 140721623232491 0
/proc/21992/statm: 2378 345 289 221 0 87 0
[pid=21994] ppid=21992 vsize=13980732 CPUtime=8.59 cores=0,2,4,6
/proc/21994/stat : 21994 (java) S 21992 21992 5234 0 -1 1077944320 32380 0 0 0 848 11 0 0 20 0 15 0 9598000 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 140724307432016 139875331157751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
/proc/21994/statm: 3495183 58769 3218 1 0 3483484 0
[pid=21994/tid=21995] ppid=21992 vsize=13980732 CPUtime=2.95 cores=0,2,4,6
/proc/21994/task/21995/stat : 21995 (java) R 21992 21992 5234 0 -1 4202560 10533 0 0 0 291 4 0 0 20 0 15 0 9598000 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 139875335394504 139874960278066 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21996] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/21996/stat : 21996 (java) S 21992 21992 5234 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 15 0 9598001 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 139875288124304 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21997] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/21997/stat : 21997 (java) S 21992 21992 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9598001 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 139875287071504 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21998] ppid=21992 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21994/task/21998/stat : 21998 (java) S 21992 21992 5234 0 -1 1077944384 659 0 0 0 1 0 0 0 20 0 15 0 9598001 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 139875286019216 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21999] ppid=21992 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21994/task/21999/stat : 21999 (java) S 21992 21992 5234 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 15 0 9598001 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 139875284966416 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22000] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22000/stat : 22000 (java) S 21992 21992 5234 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 9598002 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 139874876819568 139875331168898 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22001] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22001/stat : 22001 (java) S 21992 21992 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9598003 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 139874875765536 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22002] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22002/stat : 22002 (java) S 21992 21992 5234 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 9598003 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 139874874713200 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22003] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22003/stat : 22003 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598006 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 139874873661520 139875331176347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22004] ppid=21992 vsize=13980732 CPUtime=2.39 cores=0,2,4,6
/proc/21994/task/22004/stat : 22004 (java) R 21992 21992 5234 0 -1 4202560 9027 0 0 0 238 1 0 0 20 0 15 0 9598006 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 139874872609392 139875316079518 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22005] ppid=21992 vsize=13980732 CPUtime=2.35 cores=0,2,4,6
/proc/21994/task/22005/stat : 22005 (java) S 21992 21992 5234 0 -1 1077944384 5287 0 0 0 234 1 0 0 20 0 15 0 9598006 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 139874443454960 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22006] ppid=21992 vsize=13980732 CPUtime=0.79 cores=0,2,4,6
/proc/21994/task/22006/stat : 22006 (java) S 21992 21992 5234 0 -1 1077944384 4960 0 0 0 78 1 0 0 20 0 15 0 9598006 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 139874442402672 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22007] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22007/stat : 22007 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598006 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 139874441350112 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22008] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22008/stat : 22008 (java) S 21992 21992 5234 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 9598010 14316269568 58769 18446744073709551615 4194304 4196468 140724307449472 139874440296880 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (KiB) 13990244
[startup+6.30076 s]
/proc/loadavg: 2.45 2.14 1.94 3/216 22008
/proc/meminfo: memFree=30697304/32770624 swapFree=0/290160
[pid=21992] ppid=21989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21992/stat : 21992 (xcsp3-exec) S 21989 21992 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9597994 9740288 345 18446744073709551615 4194304 5098028 140721623222336 140721623220440 139913021477500 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 29716480 140721623228828 140721623229031 140721623229031 140721623232491 0
/proc/21992/statm: 2378 345 289 221 0 87 0
[pid=21994] ppid=21992 vsize=13980732 CPUtime=13.44 cores=0,2,4,6
/proc/21994/stat : 21994 (java) S 21992 21992 5234 0 -1 1077944320 36606 0 0 0 1332 12 0 0 20 0 15 0 9598000 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 140724307432016 139875331157751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
/proc/21994/statm: 3495183 61594 3221 1 0 3483484 0
[pid=21994/tid=21995] ppid=21992 vsize=13980732 CPUtime=6.15 cores=0,2,4,6
/proc/21994/task/21995/stat : 21995 (java) R 21992 21992 5234 0 -1 4202560 10562 0 0 0 611 4 0 0 20 0 15 0 9598000 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 139875335394192 139874961036751 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21996] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/21996/stat : 21996 (java) S 21992 21992 5234 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 15 0 9598001 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 139875288124304 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21997] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/21997/stat : 21997 (java) S 21992 21992 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9598001 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 139875287071504 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21998] ppid=21992 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21994/task/21998/stat : 21998 (java) S 21992 21992 5234 0 -1 1077944384 659 0 0 0 1 0 0 0 20 0 15 0 9598001 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 139875286019216 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21999] ppid=21992 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21994/task/21999/stat : 21999 (java) S 21992 21992 5234 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 15 0 9598001 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 139875284966416 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22000] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22000/stat : 22000 (java) S 21992 21992 5234 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 9598002 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 139874876819568 139875331168898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22001] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22001/stat : 22001 (java) S 21992 21992 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9598003 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 139874875765536 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22002] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22002/stat : 22002 (java) S 21992 21992 5234 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 9598003 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 139874874713200 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22003] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22003/stat : 22003 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598006 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 139874873661520 139875331176347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22004] ppid=21992 vsize=13980732 CPUtime=3.21 cores=0,2,4,6
/proc/21994/task/22004/stat : 22004 (java) S 21992 21992 5234 0 -1 1077944384 10967 0 0 0 320 1 0 0 20 0 15 0 9598006 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 139874872609392 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22005] ppid=21992 vsize=13980732 CPUtime=3.13 cores=0,2,4,6
/proc/21994/task/22005/stat : 22005 (java) S 21992 21992 5234 0 -1 1077944384 7474 0 0 0 312 1 0 0 20 0 15 0 9598006 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 139874443454960 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22006] ppid=21992 vsize=13980732 CPUtime=0.85 cores=0,2,4,6
/proc/21994/task/22006/stat : 22006 (java) S 21992 21992 5234 0 -1 1077944384 5022 0 0 0 83 2 0 0 20 0 15 0 9598006 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 139874442402672 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22007] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22007/stat : 22007 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598006 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 139874441350112 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22008] ppid=21992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22008/stat : 22008 (java) S 21992 21992 5234 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 9598010 14316269568 61594 18446744073709551615 4194304 4196468 140724307449472 139874440296880 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
Current children cumulated CPU time (s) 13.44
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 2.41 2.14 1.94 3/216 22008
/proc/meminfo: memFree=30675540/32770624 swapFree=0/290164
[pid=21992] ppid=21989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21992/stat : 21992 (xcsp3-exec) S 21989 21992 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9597994 9740288 345 18446744073709551615 4194304 5098028 140721623222336 140721623220440 139913021477500 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 29716480 140721623228828 140721623229031 140721623229031 140721623232491 0
/proc/21992/statm: 2378 345 289 221 0 87 0
[pid=21994] ppid=21992 vsize=13980732 CPUtime=20.06 cores=0,2,4,6
/proc/21994/stat : 21994 (java) S 21992 21992 5234 0 -1 1077944320 40984 0 0 0 1991 15 0 0 20 0 15 0 9598000 14316269568 66868 18446744073709551615 4194304 4196468 140724307449472 140724307432016 139875331157751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
/proc/21994/statm: 3495183 66868 3226 1 0 3483484 0
[pid=21994/tid=21995] ppid=21992 vsize=13980732 CPUtime=12.53 cores=0,2,4,6
/proc/21994/task/21995/stat : 21995 (java) R 21992 21992 5234 0 -1 4202560 11738 0 0 0 1249 4 0 0 20 0 15 0 9598000 14316269568 66868 18446744073709551615 4194304 4196468 140724307449472 139875335394080 139874961036325 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21996] ppid=21992 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/21994/task/21996/stat : 21996 (java) S 21992 21992 5234 0 -1 1077944384 465 0 0 0 2 1 0 0 20 0 15 0 9598001 14316269568 66868 18446744073709551615 4194304 4196468 140724307449472 139875288124304 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21997] ppid=21992 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/21994/task/21997/stat : 21997 (java) S 21992 21992 5234 0 -1 1077944384 90 0 0 0 1 1 0 0 20 0 15 0 9598001 14316269568 66868 18446744073709551615 4194304 4196468 140724307449472 139875287071504 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
################
# More data... #
################
[pid=21994/tid=22001] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22001/stat : 22001 (java) S 21992 21992 5234 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9598003 14318366720 103848 18446744073709551615 4194304 4196468 140724307449472 139874875765600 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22002] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22002/stat : 22002 (java) S 21992 21992 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9598003 14318366720 103848 18446744073709551615 4194304 4196468 140724307449472 139874874713216 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22003] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22003/stat : 22003 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598006 14318366720 103848 18446744073709551615 4194304 4196468 140724307449472 139874873661520 139875331176347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22004] ppid=21992 vsize=13982780 CPUtime=4.43 cores=0,2,4,6
/proc/21994/task/22004/stat : 22004 (java) S 21992 21992 5234 0 -1 1077944384 23827 0 0 0 441 2 0 0 20 0 15 0 9598006 14318366720 103848 18446744073709551615 4194304 4196468 140724307449472 139874872609392 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22005] ppid=21992 vsize=13982780 CPUtime=4.06 cores=0,2,4,6
/proc/21994/task/22005/stat : 22005 (java) S 21992 21992 5234 0 -1 1077944384 18090 0 0 0 404 2 0 0 20 0 15 0 9598006 14318366720 103848 18446744073709551615 4194304 4196468 140724307449472 139874443454960 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22006] ppid=21992 vsize=13982780 CPUtime=0.89 cores=0,2,4,6
/proc/21994/task/22006/stat : 22006 (java) S 21992 21992 5234 0 -1 1077944384 7781 0 0 0 87 2 0 0 20 0 15 0 9598006 14318366720 103848 18446744073709551615 4194304 4196468 140724307449472 139874442402672 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22007] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22007/stat : 22007 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598006 14318366720 103848 18446744073709551615 4194304 4196468 140724307449472 139874441350112 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22008] ppid=21992 vsize=13982780 CPUtime=0.04 cores=0,2,4,6
/proc/21994/task/22008/stat : 22008 (java) S 21992 21992 5234 0 -1 1077944384 505 0 0 0 2 2 0 0 20 0 15 0 9598010 14318366720 103848 18446744073709551615 4194304 4196468 140724307449472 139874440296880 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
Current children cumulated CPU time (s) 113.21
Current children cumulated vsize (KiB) 13992292
[startup+162.301 s]
/proc/loadavg: 1.78 2.00 1.93 3/214 22012
/proc/meminfo: memFree=30383932/32770624 swapFree=0/290268
[pid=21992] ppid=21989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21992/stat : 21992 (xcsp3-exec) S 21989 21992 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9597994 9740288 345 18446744073709551615 4194304 5098028 140721623222336 140721623220440 139913021477500 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 29716480 140721623228828 140721623229031 140721623229031 140721623232491 0
/proc/21992/statm: 2378 345 289 221 0 87 0
[pid=21994] ppid=21992 vsize=13982780 CPUtime=174.76 cores=0,2,4,6
/proc/21994/stat : 21994 (java) S 21992 21992 5234 0 -1 1077944320 83744 0 0 0 17416 60 0 0 20 0 15 0 9598000 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 140724307432016 139875331157751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
/proc/21994/statm: 3495695 126285 3228 1 0 3483996 0
[pid=21994/tid=21995] ppid=21992 vsize=13982780 CPUtime=161.16 cores=0,2,4,6
/proc/21994/task/21995/stat : 21995 (java) R 21992 21992 5234 0 -1 4202560 17173 0 0 0 16111 5 0 0 20 0 15 0 9598000 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 139875335397344 139874963544916 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21996] ppid=21992 vsize=13982780 CPUtime=0.94 cores=0,2,4,6
/proc/21994/task/21996/stat : 21996 (java) S 21992 21992 5234 0 -1 1077944384 1932 0 0 0 84 10 0 0 20 0 15 0 9598001 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 139875288124304 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21997] ppid=21992 vsize=13982780 CPUtime=0.94 cores=0,2,4,6
/proc/21994/task/21997/stat : 21997 (java) S 21992 21992 5234 0 -1 1077944384 1751 0 0 0 83 11 0 0 20 0 15 0 9598001 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 139875287071504 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21998] ppid=21992 vsize=13982780 CPUtime=0.95 cores=0,2,4,6
/proc/21994/task/21998/stat : 21998 (java) S 21992 21992 5234 0 -1 1077944384 1954 0 0 0 84 11 0 0 20 0 15 0 9598001 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 139875286019216 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21999] ppid=21992 vsize=13982780 CPUtime=0.96 cores=0,2,4,6
/proc/21994/task/21999/stat : 21999 (java) S 21992 21992 5234 0 -1 1077944384 3523 0 0 0 85 11 0 0 20 0 15 0 9598001 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 139875284966416 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22000] ppid=21992 vsize=13982780 CPUtime=0.04 cores=0,2,4,6
/proc/21994/task/22000/stat : 22000 (java) S 21992 21992 5234 0 -1 1077944384 1364 0 0 0 4 0 0 0 20 0 15 0 9598002 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 139874876819568 139875331168898 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22001] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22001/stat : 22001 (java) S 21992 21992 5234 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9598003 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 139874875765600 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22002] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22002/stat : 22002 (java) S 21992 21992 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9598003 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 139874874713216 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22003] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22003/stat : 22003 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598006 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 139874873661520 139875331176347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22004] ppid=21992 vsize=13982780 CPUtime=4.59 cores=0,2,4,6
/proc/21994/task/22004/stat : 22004 (java) S 21992 21992 5234 0 -1 1077944384 26730 0 0 0 457 2 0 0 20 0 15 0 9598006 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 139874872609392 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22005] ppid=21992 vsize=13982780 CPUtime=4.12 cores=0,2,4,6
/proc/21994/task/22005/stat : 22005 (java) S 21992 21992 5234 0 -1 1077944384 19208 0 0 0 410 2 0 0 20 0 15 0 9598006 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 139874443454960 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22006] ppid=21992 vsize=13982780 CPUtime=0.9 cores=0,2,4,6
/proc/21994/task/22006/stat : 22006 (java) S 21992 21992 5234 0 -1 1077944384 8240 0 0 0 88 2 0 0 20 0 15 0 9598006 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 139874442402672 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22007] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22007/stat : 22007 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598006 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 139874441350112 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22008] ppid=21992 vsize=13982780 CPUtime=0.06 cores=0,2,4,6
/proc/21994/task/22008/stat : 22008 (java) S 21992 21992 5234 0 -1 1077944384 521 0 0 0 3 3 0 0 20 0 15 0 9598010 14318366720 126285 18446744073709551615 4194304 4196468 140724307449472 139874440296880 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
Current children cumulated CPU time (s) 174.76
Current children cumulated vsize (KiB) 13992292
[startup+222.307 s]
/proc/loadavg: 1.85 1.98 1.93 3/214 22091
/proc/meminfo: memFree=31212884/32770624 swapFree=0/290320
[pid=21992] ppid=21989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21992/stat : 21992 (xcsp3-exec) S 21989 21992 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9597994 9740288 345 18446744073709551615 4194304 5098028 140721623222336 140721623220440 139913021477500 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 29716480 140721623228828 140721623229031 140721623229031 140721623232491 0
/proc/21992/statm: 2378 345 289 221 0 87 0
[pid=21994] ppid=21992 vsize=13982780 CPUtime=236.46 cores=0,2,4,6
/proc/21994/stat : 21994 (java) S 21992 21992 5234 0 -1 1077944320 89756 0 0 0 23580 66 0 0 20 0 15 0 9598000 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 140724307432016 139875331157751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
/proc/21994/statm: 3495695 96848 3243 1 0 3483996 0
[pid=21994/tid=21995] ppid=21992 vsize=13982780 CPUtime=220.58 cores=0,2,4,6
/proc/21994/task/21995/stat : 21995 (java) R 21992 21992 5234 0 -1 4202560 17894 0 0 0 22053 5 0 0 20 0 15 0 9598000 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 139875335397120 139874963502488 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21996] ppid=21992 vsize=13982780 CPUtime=1.49 cores=0,2,4,6
/proc/21994/task/21996/stat : 21996 (java) S 21992 21992 5234 0 -1 1077944384 2065 0 0 0 137 12 0 0 20 0 15 0 9598001 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 139875288124304 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21997] ppid=21992 vsize=13982780 CPUtime=1.48 cores=0,2,4,6
/proc/21994/task/21997/stat : 21997 (java) S 21992 21992 5234 0 -1 1077944384 1905 0 0 0 136 12 0 0 20 0 15 0 9598001 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 139875287071504 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21998] ppid=21992 vsize=13982780 CPUtime=1.49 cores=0,2,4,6
/proc/21994/task/21998/stat : 21998 (java) S 21992 21992 5234 0 -1 1077944384 2533 0 0 0 137 12 0 0 20 0 15 0 9598001 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 139875286019216 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21999] ppid=21992 vsize=13982780 CPUtime=1.49 cores=0,2,4,6
/proc/21994/task/21999/stat : 21999 (java) S 21992 21992 5234 0 -1 1077944384 3722 0 0 0 137 12 0 0 20 0 15 0 9598001 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 139875284966416 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22000] ppid=21992 vsize=13982780 CPUtime=0.08 cores=0,2,4,6
/proc/21994/task/22000/stat : 22000 (java) S 21992 21992 5234 0 -1 1077944384 4504 0 0 0 7 1 0 0 20 0 15 0 9598002 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 139874876819568 139875331168898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22001] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22001/stat : 22001 (java) S 21992 21992 5234 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9598003 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 139874875765600 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22002] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22002/stat : 22002 (java) S 21992 21992 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9598003 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 139874874713216 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22003] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22003/stat : 22003 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598006 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 139874873661520 139875331176347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22004] ppid=21992 vsize=13982780 CPUtime=4.65 cores=0,2,4,6
/proc/21994/task/22004/stat : 22004 (java) S 21992 21992 5234 0 -1 1077944384 27773 0 0 0 463 2 0 0 20 0 15 0 9598006 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 139874872609392 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22005] ppid=21992 vsize=13982780 CPUtime=4.12 cores=0,2,4,6
/proc/21994/task/22005/stat : 22005 (java) S 21992 21992 5234 0 -1 1077944384 19208 0 0 0 410 2 0 0 20 0 15 0 9598006 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 139874443454960 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22006] ppid=21992 vsize=13982780 CPUtime=0.9 cores=0,2,4,6
/proc/21994/task/22006/stat : 22006 (java) S 21992 21992 5234 0 -1 1077944384 8262 0 0 0 88 2 0 0 20 0 15 0 9598006 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 139874442402672 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22007] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22007/stat : 22007 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598006 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 139874441350112 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22008] ppid=21992 vsize=13982780 CPUtime=0.09 cores=0,2,4,6
/proc/21994/task/22008/stat : 22008 (java) S 21992 21992 5234 0 -1 1077944384 542 0 0 0 5 4 0 0 20 0 15 0 9598010 14318366720 96848 18446744073709551615 4194304 4196468 140724307449472 139874440296880 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
Current children cumulated CPU time (s) 236.46
Current children cumulated vsize (KiB) 13992292
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.89 1.98 1.93 3/214 22093
/proc/meminfo: memFree=31228736/32770624 swapFree=0/290352
[pid=21992] ppid=21989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21992/stat : 21992 (xcsp3-exec) S 21989 21992 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9597994 9740288 345 18446744073709551615 4194304 5098028 140721623222336 140721623220440 139913021477500 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 29716480 140721623228828 140721623229031 140721623229031 140721623232491 0
/proc/21992/statm: 2378 345 289 221 0 87 0
[pid=21994] ppid=21992 vsize=13982780 CPUtime=254.92 cores=0,2,4,6
/proc/21994/stat : 21994 (java) S 21992 21992 5234 0 -1 1077944320 90670 0 0 0 25425 67 0 0 20 0 15 0 9598000 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 140724307432016 139875331157751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
/proc/21994/statm: 3495695 93195 3243 1 0 3483996 0
[pid=21994/tid=21995] ppid=21992 vsize=13982780 CPUtime=237.99 cores=0,2,4,6
/proc/21994/task/21995/stat : 21995 (java) R 21992 21992 5234 0 -1 4202560 17984 0 0 0 23794 5 0 0 20 0 15 0 9598000 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 139875335397264 139874962676671 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21996] ppid=21992 vsize=13982780 CPUtime=1.74 cores=0,2,4,6
/proc/21994/task/21996/stat : 21996 (java) S 21992 21992 5234 0 -1 1077944384 2184 0 0 0 162 12 0 0 20 0 15 0 9598001 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 139875288124304 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21997] ppid=21992 vsize=13982780 CPUtime=1.73 cores=0,2,4,6
/proc/21994/task/21997/stat : 21997 (java) S 21992 21992 5234 0 -1 1077944384 2018 0 0 0 161 12 0 0 20 0 15 0 9598001 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 139875287071504 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21998] ppid=21992 vsize=13982780 CPUtime=1.75 cores=0,2,4,6
/proc/21994/task/21998/stat : 21998 (java) S 21992 21992 5234 0 -1 1077944384 2708 0 0 0 162 13 0 0 20 0 15 0 9598001 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 139875286019216 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=21999] ppid=21992 vsize=13982780 CPUtime=1.74 cores=0,2,4,6
/proc/21994/task/21999/stat : 21999 (java) S 21992 21992 5234 0 -1 1077944384 4032 0 0 0 162 12 0 0 20 0 15 0 9598001 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 139875284966416 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22000] ppid=21992 vsize=13982780 CPUtime=0.11 cores=0,2,4,6
/proc/21994/task/22000/stat : 22000 (java) S 21992 21992 5234 0 -1 1077944384 4568 0 0 0 10 1 0 0 20 0 15 0 9598002 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 139874876819568 139875331168898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22001] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22001/stat : 22001 (java) S 21992 21992 5234 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9598003 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 139874875765600 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22002] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22002/stat : 22002 (java) S 21992 21992 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9598003 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 139874874713216 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22003] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22003/stat : 22003 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598006 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 139874873661520 139875331176347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22004] ppid=21992 vsize=13982780 CPUtime=4.66 cores=0,2,4,6
/proc/21994/task/22004/stat : 22004 (java) S 21992 21992 5234 0 -1 1077944384 27788 0 0 0 464 2 0 0 20 0 15 0 9598006 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 139874872609392 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22005] ppid=21992 vsize=13982780 CPUtime=4.12 cores=0,2,4,6
/proc/21994/task/22005/stat : 22005 (java) S 21992 21992 5234 0 -1 1077944384 19209 0 0 0 410 2 0 0 20 0 15 0 9598006 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 139874443454960 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22006] ppid=21992 vsize=13982780 CPUtime=0.9 cores=0,2,4,6
/proc/21994/task/22006/stat : 22006 (java) S 21992 21992 5234 0 -1 1077944384 8264 0 0 0 88 2 0 0 20 0 15 0 9598006 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 139874442402672 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22007] ppid=21992 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/21994/task/22007/stat : 22007 (java) S 21992 21992 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9598006 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 139874441350112 139875331167957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
[pid=21994/tid=22008] ppid=21992 vsize=13982780 CPUtime=0.1 cores=0,2,4,6
/proc/21994/task/22008/stat : 22008 (java) S 21992 21992 5234 0 -1 1077944384 567 0 0 0 5 5 0 0 20 0 15 0 9598010 14318366720 93195 18446744073709551615 4194304 4196468 140724307449472 139874440296880 139875331168898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9162752 140724307452372 140724307452547 140724307452547 140724307455951 0
Current children cumulated CPU time (s) 254.92
Current children cumulated vsize (KiB) 13992292
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 21994 sig 9
??? kill 21992 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 21992 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=919
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=919
# CPU time returned by wait4() is 0.001838
# while last known CPU time is 254.92
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.019
CPU time (s): 254.92
CPU user time (s): 254.25
CPU system time (s): 0.67
CPU usage (%): 106.208
Max. virtual memory (cumulated for all children) (KiB): 13992536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000919
system time used= 0.000919
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.01225 second user time and 1.5874 second system time
The end