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-4253936-1501616751/watcher-4253936-1501616751 -o /tmp/evaluation-result-4253936-1501616751/solver-4253936-1501616751 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5152 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1331957801 HOME/instance-4253936-1501616751.xml
pid=9744
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: 2.10 1.80 1.78 3/196 9747
/proc/meminfo: memFree=31774812/32770624 swapFree=0/186056
[pid=9747] ppid=9744 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9747/stat : 9747 (runsolver) D 9744 9747 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10298213 24240128 108 18446744073709551615 4194304 4338465 140732134555792 140732134553432 140241249149655 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 14696448 140732134563933 140732134564422 140732134564422 140732134567882 0
/proc/9747/statm: 5918 108 54 36 0 2156 0
[startup+0.100157 s]
/proc/loadavg: 2.10 1.80 1.78 3/196 9747
/proc/meminfo: memFree=31774812/32770624 swapFree=0/186056
[pid=9747] ppid=9744 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9747/stat : 9747 (xcsp3-exec) S 9744 9747 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10298213 9740288 345 18446744073709551615 4194304 5098028 140728540021152 140728540019256 139755139056252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 24870912 140728540029339 140728540029543 140728540029543 140728540033003 0
/proc/9747/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200263 s]
/proc/loadavg: 2.10 1.80 1.78 3/196 9747
/proc/meminfo: memFree=31774812/32770624 swapFree=0/186056
[pid=9747] ppid=9744 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9747/stat : 9747 (xcsp3-exec) S 9744 9747 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10298213 9740288 345 18446744073709551615 4194304 5098028 140728540021152 140728540019256 139755139056252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 24870912 140728540029339 140728540029543 140728540029543 140728540033003 0
/proc/9747/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301952 s]
/proc/loadavg: 2.10 1.80 1.78 3/196 9747
/proc/meminfo: memFree=31774812/32770624 swapFree=0/186056
[pid=9747] ppid=9744 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9747/stat : 9747 (xcsp3-exec) S 9744 9747 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10298213 9740288 345 18446744073709551615 4194304 5098028 140728540021152 140728540019256 139755139056252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 24870912 140728540029339 140728540029543 140728540029543 140728540033003 0
/proc/9747/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700198 s]
/proc/loadavg: 2.10 1.80 1.78 3/196 9747
/proc/meminfo: memFree=31774812/32770624 swapFree=0/186056
[pid=9747] ppid=9744 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9747/stat : 9747 (xcsp3-exec) S 9744 9747 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10298213 9740288 345 18446744073709551615 4194304 5098028 140728540021152 140728540019256 139755139056252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 24870912 140728540029339 140728540029543 140728540029543 140728540033003 0
/proc/9747/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50064 s]
/proc/loadavg: 2.10 1.80 1.78 3/212 9763
/proc/meminfo: memFree=31590476/32770624 swapFree=0/186056
[pid=9747] ppid=9744 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9747/stat : 9747 (xcsp3-exec) S 9744 9747 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10298213 9740288 345 18446744073709551615 4194304 5098028 140728540021152 140728540019256 139755139056252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 24870912 140728540029339 140728540029543 140728540029543 140728540033003 0
/proc/9747/statm: 2378 345 289 221 0 87 0
[pid=9749] ppid=9747 vsize=13978684 CPUtime=2.38 cores=1,3,5,7
/proc/9749/stat : 9749 (java) S 9747 9747 5091 0 -1 1077944320 13343 0 0 0 229 9 0 0 20 0 15 0 10298220 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140731972645328 140155961417463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
/proc/9749/statm: 3494671 49172 3175 1 0 3482972 0
[pid=9749/tid=9750] ppid=9747 vsize=13978684 CPUtime=1.37 cores=1,3,5,7
/proc/9749/task/9750/stat : 9750 (java) R 9747 9747 5091 0 -1 4202560 7939 0 0 0 131 6 0 0 20 0 15 0 10298220 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140155965652912 140155943706801 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9751] ppid=9747 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9751/stat : 9751 (java) S 9747 9747 5091 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10298221 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140155924523536 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9752] ppid=9747 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9752/stat : 9752 (java) S 9747 9747 5091 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 10298221 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140155560475280 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9753] ppid=9747 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9753/stat : 9753 (java) S 9747 9747 5091 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10298221 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140155559422224 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9754] ppid=9747 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9754/stat : 9754 (java) S 9747 9747 5091 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 10298221 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140155558369680 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9755] ppid=9747 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9755/stat : 9755 (java) S 9747 9747 5091 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 10298222 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140155439999728 140155961428610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9756] ppid=9747 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9756/stat : 9756 (java) S 9747 9747 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10298223 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140155438945952 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9757] ppid=9747 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9757/stat : 9757 (java) S 9747 9747 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10298223 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140155437892848 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9758] ppid=9747 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9758/stat : 9758 (java) S 9747 9747 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10298225 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140155436841424 140155961436059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9759] ppid=9747 vsize=13978684 CPUtime=0.34 cores=1,3,5,7
/proc/9749/task/9759/stat : 9759 (java) S 9747 9747 5091 0 -1 1077944384 1437 0 0 0 34 0 0 0 20 0 15 0 10298225 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140155435788528 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9760] ppid=9747 vsize=13978684 CPUtime=0.33 cores=1,3,5,7
/proc/9749/task/9760/stat : 9760 (java) S 9747 9747 5091 0 -1 1077944384 1098 0 0 0 33 0 0 0 20 0 15 0 10298225 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140155434735984 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9761] ppid=9747 vsize=13978684 CPUtime=0.26 cores=1,3,5,7
/proc/9749/task/9761/stat : 9761 (java) S 9747 9747 5091 0 -1 1077944384 1433 0 0 0 26 0 0 0 20 0 15 0 10298225 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140155433682928 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9762] ppid=9747 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9762/stat : 9762 (java) S 9747 9747 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10298225 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140155432630624 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9763] ppid=9747 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9763/stat : 9763 (java) S 9747 9747 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10298229 14314172416 49172 18446744073709551615 4194304 4196468 140731972662784 140155431578672 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 13988196
[startup+3.10071 s]
/proc/loadavg: 2.10 1.80 1.78 3/212 9763
/proc/meminfo: memFree=31561000/32770624 swapFree=0/186056
[pid=9747] ppid=9744 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9747/stat : 9747 (xcsp3-exec) S 9744 9747 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10298213 9740288 345 18446744073709551615 4194304 5098028 140728540021152 140728540019256 139755139056252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 24870912 140728540029339 140728540029543 140728540029543 140728540033003 0
/proc/9747/statm: 2378 345 289 221 0 87 0
[pid=9749] ppid=9747 vsize=13980732 CPUtime=4.46 cores=1,3,5,7
/proc/9749/stat : 9749 (java) S 9747 9747 5091 0 -1 1077944320 13931 0 0 0 434 12 0 0 20 0 15 0 10298220 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140731972645328 140155961417463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
/proc/9749/statm: 3495183 81832 3189 1 0 3483484 0
[pid=9749/tid=9750] ppid=9747 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/9749/task/9750/stat : 9750 (java) R 9747 9747 5091 0 -1 4202560 8138 0 0 0 287 8 0 0 20 0 15 0 10298220 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140155965656496 140155606002791 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9751] ppid=9747 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9749/task/9751/stat : 9751 (java) S 9747 9747 5091 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 15 0 10298221 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140155924523536 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9752] ppid=9747 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9749/task/9752/stat : 9752 (java) S 9747 9747 5091 0 -1 1077944384 30 0 0 0 2 0 0 0 20 0 15 0 10298221 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140155560475280 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9753] ppid=9747 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9749/task/9753/stat : 9753 (java) S 9747 9747 5091 0 -1 1077944384 40 0 0 0 2 0 0 0 20 0 15 0 10298221 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140155559422224 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9754] ppid=9747 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9749/task/9754/stat : 9754 (java) S 9747 9747 5091 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 15 0 10298221 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140155558369680 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9755] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9755/stat : 9755 (java) S 9747 9747 5091 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 10298222 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140155439999728 140155961428610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9756] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9756/stat : 9756 (java) S 9747 9747 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10298223 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140155438946016 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9757] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9757/stat : 9757 (java) S 9747 9747 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10298223 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140155437892864 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9758] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9758/stat : 9758 (java) S 9747 9747 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10298225 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140155436841424 140155961436059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9759] ppid=9747 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/9749/task/9759/stat : 9759 (java) S 9747 9747 5091 0 -1 1077944384 1492 0 0 0 54 0 0 0 20 0 15 0 10298225 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140155435788528 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9760] ppid=9747 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/9749/task/9760/stat : 9760 (java) S 9747 9747 5091 0 -1 1077944384 1145 0 0 0 49 0 0 0 20 0 15 0 10298225 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140155434735984 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9761] ppid=9747 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/9749/task/9761/stat : 9761 (java) S 9747 9747 5091 0 -1 1077944384 1555 0 0 0 32 0 0 0 20 0 15 0 10298225 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140155433682928 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9762] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9762/stat : 9762 (java) S 9747 9747 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10298225 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140155432630624 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9763] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9763/stat : 9763 (java) S 9747 9747 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10298229 14316269568 81832 18446744073709551615 4194304 4196468 140731972662784 140155431578672 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 13990244
[startup+6.30071 s]
/proc/loadavg: 2.09 1.81 1.78 3/212 9763
/proc/meminfo: memFree=31352196/32770624 swapFree=0/186116
[pid=9747] ppid=9744 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9747/stat : 9747 (xcsp3-exec) S 9744 9747 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10298213 9740288 345 18446744073709551615 4194304 5098028 140728540021152 140728540019256 139755139056252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 24870912 140728540029339 140728540029543 140728540029543 140728540033003 0
/proc/9747/statm: 2378 345 289 221 0 87 0
[pid=9749] ppid=9747 vsize=13980732 CPUtime=8.53 cores=1,3,5,7
/proc/9749/stat : 9749 (java) S 9747 9747 5091 0 -1 1077944320 19274 0 0 0 829 24 0 0 20 0 15 0 10298220 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140731972645328 140155961417463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
/proc/9749/statm: 3495183 108485 3206 1 0 3483484 0
[pid=9749/tid=9750] ppid=9747 vsize=13980732 CPUtime=6.07 cores=1,3,5,7
/proc/9749/task/9750/stat : 9750 (java) R 9747 9747 5091 0 -1 4202560 9921 0 0 0 599 8 0 0 20 0 15 0 10298220 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140155965653104 140155606923813 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9751] ppid=9747 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9749/task/9751/stat : 9751 (java) S 9747 9747 5091 0 -1 1077944384 75 0 0 0 7 3 0 0 20 0 15 0 10298221 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140155924523536 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9752] ppid=9747 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9749/task/9752/stat : 9752 (java) S 9747 9747 5091 0 -1 1077944384 72 0 0 0 7 3 0 0 20 0 15 0 10298221 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140155560475280 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9753] ppid=9747 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/9749/task/9753/stat : 9753 (java) S 9747 9747 5091 0 -1 1077944384 85 0 0 0 7 2 0 0 20 0 15 0 10298221 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140155559422224 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9754] ppid=9747 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9749/task/9754/stat : 9754 (java) S 9747 9747 5091 0 -1 1077944384 163 0 0 0 7 3 0 0 20 0 15 0 10298221 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140155558369680 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9755] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9755/stat : 9755 (java) S 9747 9747 5091 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 15 0 10298222 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140155439999728 140155961428610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9756] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9756/stat : 9756 (java) S 9747 9747 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10298223 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140155438946016 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9757] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9757/stat : 9757 (java) S 9747 9747 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10298223 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140155437892864 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9758] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9758/stat : 9758 (java) S 9747 9747 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10298225 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140155436841424 140155961436059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9759] ppid=9747 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/9749/task/9759/stat : 9759 (java) S 9747 9747 5091 0 -1 1077944384 2909 0 0 0 86 0 0 0 20 0 15 0 10298225 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140155435788528 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9760] ppid=9747 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/9749/task/9760/stat : 9760 (java) S 9747 9747 5091 0 -1 1077944384 1862 0 0 0 71 0 0 0 20 0 15 0 10298225 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140155434735984 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9761] ppid=9747 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/9749/task/9761/stat : 9761 (java) S 9747 9747 5091 0 -1 1077944384 2591 0 0 0 41 1 0 0 20 0 15 0 10298225 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140155433682928 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9762] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9762/stat : 9762 (java) S 9747 9747 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10298225 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140155432630624 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9763] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9763/stat : 9763 (java) S 9747 9747 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10298229 14316269568 108485 18446744073709551615 4194304 4196468 140731972662784 140155431578672 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
Current children cumulated CPU time (s) 8.53
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.09 1.81 1.78 3/212 9764
/proc/meminfo: memFree=31344136/32770624 swapFree=0/186128
[pid=9747] ppid=9744 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9747/stat : 9747 (xcsp3-exec) S 9744 9747 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10298213 9740288 345 18446744073709551615 4194304 5098028 140728540021152 140728540019256 139755139056252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 24870912 140728540029339 140728540029543 140728540029543 140728540033003 0
/proc/9747/statm: 2378 345 289 221 0 87 0
[pid=9749] ppid=9747 vsize=13980732 CPUtime=15.22 cores=1,3,5,7
/proc/9749/stat : 9749 (java) S 9747 9747 5091 0 -1 1077944320 21692 0 0 0 1497 25 0 0 20 0 15 0 10298220 14316269568 110436 18446744073709551615 4194304 4196468 140731972662784 140731972645328 140155961417463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
/proc/9749/statm: 3495183 110436 3208 1 0 3483484 0
[pid=9749/tid=9750] ppid=9747 vsize=13980732 CPUtime=12.46 cores=1,3,5,7
/proc/9749/task/9750/stat : 9750 (java) R 9747 9747 5091 0 -1 4202560 10015 0 0 0 1238 8 0 0 20 0 15 0 10298220 14316269568 110436 18446744073709551615 4194304 4196468 140731972662784 140155965653928 140155606923154 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9751] ppid=9747 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9749/task/9751/stat : 9751 (java) S 9747 9747 5091 0 -1 1077944384 75 0 0 0 7 3 0 0 20 0 15 0 10298221 14316269568 110436 18446744073709551615 4194304 4196468 140731972662784 140155924523536 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9752] ppid=9747 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9749/task/9752/stat : 9752 (java) S 9747 9747 5091 0 -1 1077944384 72 0 0 0 7 3 0 0 20 0 15 0 10298221 14316269568 110436 18446744073709551615 4194304 4196468 140731972662784 140155560475280 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
################
# More data... #
################
[pid=9749/tid=9756] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9756/stat : 9756 (java) S 9747 9747 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10298223 14316269568 110545 18446744073709551615 4194304 4196468 140731972662784 140155438946016 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9757] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9757/stat : 9757 (java) S 9747 9747 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10298223 14316269568 110545 18446744073709551615 4194304 4196468 140731972662784 140155437892864 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9758] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9758/stat : 9758 (java) S 9747 9747 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10298225 14316269568 110545 18446744073709551615 4194304 4196468 140731972662784 140155436841424 140155961436059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9759] ppid=9747 vsize=13980732 CPUtime=1.27 cores=1,3,5,7
/proc/9749/task/9759/stat : 9759 (java) S 9747 9747 5091 0 -1 1077944384 8651 0 0 0 127 0 0 0 20 0 15 0 10298225 14316269568 110545 18446744073709551615 4194304 4196468 140731972662784 140155435788528 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9760] ppid=9747 vsize=13980732 CPUtime=1.32 cores=1,3,5,7
/proc/9749/task/9760/stat : 9760 (java) S 9747 9747 5091 0 -1 1077944384 10324 0 0 0 131 1 0 0 20 0 15 0 10298225 14316269568 110545 18446744073709551615 4194304 4196468 140731972662784 140155434735984 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9761] ppid=9747 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/9749/task/9761/stat : 9761 (java) S 9747 9747 5091 0 -1 1077944384 4644 0 0 0 45 1 0 0 20 0 15 0 10298225 14316269568 110545 18446744073709551615 4194304 4196468 140731972662784 140155433682928 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9762] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9762/stat : 9762 (java) S 9747 9747 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10298225 14316269568 110545 18446744073709551615 4194304 4196468 140731972662784 140155432630624 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9763] ppid=9747 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/9749/task/9763/stat : 9763 (java) S 9747 9747 5091 0 -1 1077944384 252 0 0 0 2 3 0 0 20 0 15 0 10298229 14316269568 110545 18446744073709551615 4194304 4196468 140731972662784 140155431578672 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
Current children cumulated CPU time (s) 105.66
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.05 1.89 1.81 3/212 9768
/proc/meminfo: memFree=31332468/32770624 swapFree=0/186208
[pid=9747] ppid=9744 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9747/stat : 9747 (xcsp3-exec) S 9744 9747 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10298213 9740288 345 18446744073709551615 4194304 5098028 140728540021152 140728540019256 139755139056252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 24870912 140728540029339 140728540029543 140728540029543 140728540033003 0
/proc/9747/statm: 2378 345 289 221 0 87 0
[pid=9749] ppid=9747 vsize=13980732 CPUtime=165.88 cores=1,3,5,7
/proc/9749/stat : 9749 (java) S 9747 9747 5091 0 -1 1077944320 40367 0 0 0 16558 30 0 0 20 0 15 0 10298220 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140731972645328 140155961417463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
/proc/9749/statm: 3495183 111925 3211 1 0 3483484 0
[pid=9749/tid=9750] ppid=9747 vsize=13980732 CPUtime=162.06 cores=1,3,5,7
/proc/9749/task/9750/stat : 9750 (java) R 9747 9747 5091 0 -1 4202560 12463 0 0 0 16198 8 0 0 20 0 15 0 10298220 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140155965653008 140155606923242 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9751] ppid=9747 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9749/task/9751/stat : 9751 (java) S 9747 9747 5091 0 -1 1077944384 75 0 0 0 7 3 0 0 20 0 15 0 10298221 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140155924523536 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9752] ppid=9747 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9749/task/9752/stat : 9752 (java) S 9747 9747 5091 0 -1 1077944384 72 0 0 0 7 3 0 0 20 0 15 0 10298221 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140155560475280 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9753] ppid=9747 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/9749/task/9753/stat : 9753 (java) S 9747 9747 5091 0 -1 1077944384 85 0 0 0 7 2 0 0 20 0 15 0 10298221 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140155559422224 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9754] ppid=9747 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9749/task/9754/stat : 9754 (java) S 9747 9747 5091 0 -1 1077944384 163 0 0 0 7 3 0 0 20 0 15 0 10298221 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140155558369680 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9755] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9755/stat : 9755 (java) S 9747 9747 5091 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 10298222 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140155439999728 140155961428610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9756] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9756/stat : 9756 (java) S 9747 9747 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10298223 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140155438946016 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9757] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9757/stat : 9757 (java) S 9747 9747 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10298223 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140155437892864 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9758] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9758/stat : 9758 (java) S 9747 9747 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10298225 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140155436841424 140155961436059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9759] ppid=9747 vsize=13980732 CPUtime=1.45 cores=1,3,5,7
/proc/9749/task/9759/stat : 9759 (java) S 9747 9747 5091 0 -1 1077944384 10504 0 0 0 144 1 0 0 20 0 15 0 10298225 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140155435788528 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9760] ppid=9747 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/9749/task/9760/stat : 9760 (java) S 9747 9747 5091 0 -1 1077944384 10341 0 0 0 132 1 0 0 20 0 15 0 10298225 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140155434735984 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9761] ppid=9747 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/9749/task/9761/stat : 9761 (java) S 9747 9747 5091 0 -1 1077944384 4650 0 0 0 46 1 0 0 20 0 15 0 10298225 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140155433682928 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9762] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9762/stat : 9762 (java) S 9747 9747 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10298225 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140155432630624 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9763] ppid=9747 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/9749/task/9763/stat : 9763 (java) S 9747 9747 5091 0 -1 1077944384 288 0 0 0 4 4 0 0 20 0 15 0 10298229 14316269568 111925 18446744073709551615 4194304 4196468 140731972662784 140155431578672 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
Current children cumulated CPU time (s) 165.88
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.02 1.91 1.82 3/211 9847
/proc/meminfo: memFree=31350744/32770624 swapFree=0/186280
[pid=9747] ppid=9744 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9747/stat : 9747 (xcsp3-exec) S 9744 9747 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10298213 9740288 345 18446744073709551615 4194304 5098028 140728540021152 140728540019256 139755139056252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 24870912 140728540029339 140728540029543 140728540029543 140728540033003 0
/proc/9747/statm: 2378 345 289 221 0 87 0
[pid=9749] ppid=9747 vsize=13980732 CPUtime=225.92 cores=1,3,5,7
/proc/9749/stat : 9749 (java) S 9747 9747 5091 0 -1 1077944320 40742 0 0 0 22560 32 0 0 20 0 15 0 10298220 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140731972645328 140155961417463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
/proc/9749/statm: 3495183 111929 3211 1 0 3483484 0
[pid=9749/tid=9750] ppid=9747 vsize=13980732 CPUtime=222.07 cores=1,3,5,7
/proc/9749/task/9750/stat : 9750 (java) R 9747 9747 5091 0 -1 4202560 12627 0 0 0 22199 8 0 0 20 0 15 0 10298220 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155965655672 140155606923668 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9751] ppid=9747 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9749/task/9751/stat : 9751 (java) S 9747 9747 5091 0 -1 1077944384 75 0 0 0 7 3 0 0 20 0 15 0 10298221 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155924523536 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9752] ppid=9747 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9749/task/9752/stat : 9752 (java) S 9747 9747 5091 0 -1 1077944384 72 0 0 0 7 3 0 0 20 0 15 0 10298221 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155560475280 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9753] ppid=9747 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/9749/task/9753/stat : 9753 (java) S 9747 9747 5091 0 -1 1077944384 85 0 0 0 7 2 0 0 20 0 15 0 10298221 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155559422224 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9754] ppid=9747 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9749/task/9754/stat : 9754 (java) S 9747 9747 5091 0 -1 1077944384 163 0 0 0 7 3 0 0 20 0 15 0 10298221 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155558369680 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9755] ppid=9747 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9749/task/9755/stat : 9755 (java) S 9747 9747 5091 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 15 0 10298222 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155439999728 140155961428610 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9756] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9756/stat : 9756 (java) S 9747 9747 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10298223 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155438946016 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9757] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9757/stat : 9757 (java) S 9747 9747 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10298223 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155437892864 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9758] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9758/stat : 9758 (java) S 9747 9747 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10298225 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155436841424 140155961436059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9759] ppid=9747 vsize=13980732 CPUtime=1.45 cores=1,3,5,7
/proc/9749/task/9759/stat : 9759 (java) S 9747 9747 5091 0 -1 1077944384 10507 0 0 0 144 1 0 0 20 0 15 0 10298225 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155435788528 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9760] ppid=9747 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/9749/task/9760/stat : 9760 (java) S 9747 9747 5091 0 -1 1077944384 10354 0 0 0 132 1 0 0 20 0 15 0 10298225 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155434735984 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9761] ppid=9747 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/9749/task/9761/stat : 9761 (java) S 9747 9747 5091 0 -1 1077944384 4798 0 0 0 46 1 0 0 20 0 15 0 10298225 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155433682928 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9762] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9762/stat : 9762 (java) S 9747 9747 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10298225 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155432630624 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9763] ppid=9747 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/9749/task/9763/stat : 9763 (java) S 9747 9747 5091 0 -1 1077944384 325 0 0 0 5 6 0 0 20 0 15 0 10298229 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155431578672 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
Current children cumulated CPU time (s) 225.92
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.09 1.93 1.83 3/211 9848
/proc/meminfo: memFree=31348080/32770624 swapFree=0/186312
[pid=9747] ppid=9744 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9747/stat : 9747 (xcsp3-exec) S 9744 9747 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10298213 9740288 345 18446744073709551615 4194304 5098028 140728540021152 140728540019256 139755139056252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 24870912 140728540029339 140728540029543 140728540029543 140728540033003 0
/proc/9747/statm: 2378 345 289 221 0 87 0
[pid=9749] ppid=9747 vsize=13980732 CPUtime=243.64 cores=1,3,5,7
/proc/9749/stat : 9749 (java) S 9747 9747 5091 0 -1 1077944320 40742 0 0 0 24331 33 0 0 20 0 15 0 10298220 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140731972645328 140155961417463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
/proc/9749/statm: 3495183 111929 3211 1 0 3483484 0
[pid=9749/tid=9750] ppid=9747 vsize=13980732 CPUtime=239.76 cores=1,3,5,7
/proc/9749/task/9750/stat : 9750 (java) R 9747 9747 5091 0 -1 4202560 12627 0 0 0 23968 8 0 0 20 0 15 0 10298220 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155965655672 140155606923699 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9751] ppid=9747 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9749/task/9751/stat : 9751 (java) S 9747 9747 5091 0 -1 1077944384 75 0 0 0 7 3 0 0 20 0 15 0 10298221 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155924523536 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9752] ppid=9747 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9749/task/9752/stat : 9752 (java) S 9747 9747 5091 0 -1 1077944384 72 0 0 0 7 3 0 0 20 0 15 0 10298221 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155560475280 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9753] ppid=9747 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/9749/task/9753/stat : 9753 (java) S 9747 9747 5091 0 -1 1077944384 85 0 0 0 7 2 0 0 20 0 15 0 10298221 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155559422224 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9754] ppid=9747 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9749/task/9754/stat : 9754 (java) S 9747 9747 5091 0 -1 1077944384 163 0 0 0 7 3 0 0 20 0 15 0 10298221 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155558369680 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9755] ppid=9747 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9749/task/9755/stat : 9755 (java) S 9747 9747 5091 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 15 0 10298222 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155439999728 140155961428610 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9756] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9756/stat : 9756 (java) S 9747 9747 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10298223 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155438946016 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9757] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9757/stat : 9757 (java) S 9747 9747 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10298223 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155437892864 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9758] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9758/stat : 9758 (java) S 9747 9747 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10298225 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155436841424 140155961436059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9759] ppid=9747 vsize=13980732 CPUtime=1.45 cores=1,3,5,7
/proc/9749/task/9759/stat : 9759 (java) S 9747 9747 5091 0 -1 1077944384 10507 0 0 0 144 1 0 0 20 0 15 0 10298225 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155435788528 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9760] ppid=9747 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/9749/task/9760/stat : 9760 (java) S 9747 9747 5091 0 -1 1077944384 10354 0 0 0 132 1 0 0 20 0 15 0 10298225 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155434735984 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9761] ppid=9747 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/9749/task/9761/stat : 9761 (java) S 9747 9747 5091 0 -1 1077944384 4798 0 0 0 46 1 0 0 20 0 15 0 10298225 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155433682928 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9762] ppid=9747 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9749/task/9762/stat : 9762 (java) S 9747 9747 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10298225 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155432630624 140155961427669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
[pid=9749/tid=9763] ppid=9747 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/9749/task/9763/stat : 9763 (java) S 9747 9747 5091 0 -1 1077944384 325 0 0 0 6 7 0 0 20 0 15 0 10298229 14316269568 111929 18446744073709551615 4194304 4196468 140731972662784 140155431578672 140155961428610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140731972669908 140731972670083 140731972670083 140731972673487 0
Current children cumulated CPU time (s) 243.64
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 9749 sig 9
??? kill 9747 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 9747 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1860
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=124
# CPU time returned by wait4() is 0.001984
# while last known CPU time is 243.64
#
# 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): 243.64
CPU user time (s): 243.31
CPU system time (s): 0.33
CPU usage (%): 101.512
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00186
system time used= 0.000124
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.156 second user time and 1.47965 second system time
The end