runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14835 MiB free)
  memory of node 1: 16384 MiB (14971 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282506-1503116743/watcher-4282506-1503116743 -o /tmp/evaluation-result-4282506-1503116743/solver-4282506-1503116743 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503095795-8621 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2100642873 HOME/instance-4282506-1503116743.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13070, runsolver pid=13067


[startup+0.100152 s]*
/proc/loadavg: 1.27 1.66 1.65 2/200 13071
/proc/meminfo: memFree=30521480/32770624 swapFree=67108860/67108860
[pid=13070] ppid=13067 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/13070/stat : 13070 (runsolver) D 13067 13070 8563 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 113894803 34791424 114 18446744073709551615 4194304 4346622 140729917046080 140729917042712 140142789067479 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6446216 6449568 22626304 140729917055031 140729917055524 140729917055524 140729917059018 0
/proc/13070/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.20931 s]*
/proc/loadavg: 1.27 1.66 1.65 2/214 13085
/proc/meminfo: memFree=30510228/32770624 swapFree=67108860/67108860
[pid=13070] ppid=13067 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13070/stat : 13070 (xcsp3-exec) S 13067 13070 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113894803 9740288 345 18446744073709551615 4194304 5098028 140731992590688 140731992588792 139667544453756 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 19644416 140731992596856 140731992597061 140731992597061 140731992600555 0
/proc/13070/statm: 2378 345 289 221 0 87 0
[pid=13072] ppid=13070 vsize=13907304 memory=22140 CPUtime=0.05 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13070 8563 0 -1 1077944320 4931 0 0 0 5 0 0 0 20 0 14 0 113894815 14241079296 5535 18446744073709551615 4194304 4196468 140731271952496 140731271935040 139994806128375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
/proc/13072/statm: 3476826 5535 2567 1 0 3466323 0
[pid=13072/tid=13073] ppid=13070 vsize=13907304 memory=8390339637985935414 CPUtime=0.04 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) D 13070 13070 8563 0 -1 4202560 3111 0 0 0 4 0 0 0 20 0 14 0 113894815 14241079296 5535 18446744073709551615 4194304 4196468 140731271952496 139994810365856 139994806150397 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13074] ppid=13070 vsize=13907304 memory=288230596118065508 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13074/stat : 13074 (java) S 13070 13070 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113894816 14241079296 5535 18446744073709551615 4194304 4196468 140731271952496 139994740563088 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13075] ppid=13070 vsize=13907304 memory=140142793076823 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13075/stat : 13075 (java) S 13070 13070 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113894816 14241079296 5535 18446744073709551615 4194304 4196468 140731271952496 139994739510288 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13076] ppid=13070 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13076/stat : 13076 (java) S 13070 13070 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113894816 14241079296 5535 18446744073709551615 4194304 4196468 140731271952496 139994738457488 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13077] ppid=13070 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13077/stat : 13077 (java) S 13070 13070 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113894816 14241079296 5535 18446744073709551615 4194304 4196468 140731271952496 139994737404688 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13078] ppid=13070 vsize=13907304 memory=140142792017536 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13078/stat : 13078 (java) S 13070 13070 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113894817 14241079296 5535 18446744073709551615 4194304 4196468 140731271952496 139994284534128 139994806139522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13079] ppid=13070 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13079/stat : 13079 (java) S 13070 13070 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 113894817 14241079296 5535 18446744073709551615 4194304 4196468 140731271952496 139994283480096 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13080] ppid=13070 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13080/stat : 13080 (java) S 13070 13070 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 113894818 14241079296 5535 18446744073709551615 4194304 4196468 140731271952496 139994282427248 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13081] ppid=13070 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13081/stat : 13081 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113894820 14241079296 5535 18446744073709551615 4194304 4196468 140731271952496 139994281375568 139994806146971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13082] ppid=13070 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13082/stat : 13082 (java) S 13070 13070 8563 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 14 0 113894820 14241079296 5535 18446744073709551615 4194304 4196468 140731271952496 139994280323952 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13083] ppid=13070 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13083/stat : 13083 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113894820 14241079296 5535 18446744073709551615 4194304 4196468 140731271952496 139994279271152 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13084] ppid=13070 vsize=13907304 memory=140142792017536 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13084/stat : 13084 (java) S 13070 13070 8563 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 14 0 113894820 14241079296 5535 18446744073709551615 4194304 4196468 140731271952496 139994278218352 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13085] ppid=13070 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13085/stat : 13085 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113894820 14241079296 5535 18446744073709551615 4194304 4196468 140731271952496 139994277165792 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23520 KiB

[startup+0.310162 s]*
/proc/loadavg: 1.27 1.66 1.65 4/215 13086
/proc/meminfo: memFree=30504724/32770624 swapFree=67108860/67108860
[pid=13070] ppid=13067 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13070/stat : 13070 (xcsp3-exec) S 13067 13070 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113894803 9740288 345 18446744073709551615 4194304 5098028 140731992590688 140731992588792 139667544453756 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 19644416 140731992596856 140731992597061 140731992597061 140731992600555 0
/proc/13070/statm: 2378 345 289 221 0 87 0
[pid=13072] ppid=13070 vsize=13974352 memory=28196 CPUtime=0.13 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13070 8563 0 -1 1077944320 5579 0 0 0 12 1 0 0 20 0 15 0 113894815 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 140731271935040 139994806128375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
/proc/13072/statm: 3493588 7049 2842 1 0 3482964 0
[pid=13072/tid=13073] ppid=13070 vsize=13974352 memory=-8774313645642428999 CPUtime=0.1 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) R 13070 13070 8563 0 -1 4202560 3515 0 0 0 9 1 0 0 20 0 15 0 113894815 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 139994810359520 139994806149722 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13074] ppid=13070 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13074/stat : 13074 (java) S 13070 13070 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113894816 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 139994740563088 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13075] ppid=13070 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13075/stat : 13075 (java) S 13070 13070 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113894816 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 139994739510288 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13076] ppid=13070 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13076/stat : 13076 (java) S 13070 13070 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113894816 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 139994738457488 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13077] ppid=13070 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13077/stat : 13077 (java) S 13070 13070 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113894816 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 139994737404688 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13078] ppid=13070 vsize=13974352 memory=140142792017536 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13078/stat : 13078 (java) S 13070 13070 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113894817 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 139994284534128 139994806139522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13079] ppid=13070 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13079/stat : 13079 (java) S 13070 13070 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113894817 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 139994283480096 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13080] ppid=13070 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13080/stat : 13080 (java) S 13070 13070 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113894818 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 139994282427248 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13081] ppid=13070 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13081/stat : 13081 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113894820 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 139994281375568 139994806146971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13082] ppid=13070 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13082/stat : 13082 (java) S 13070 13070 8563 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 113894820 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 139994280323952 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13083] ppid=13070 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13083/stat : 13083 (java) S 13070 13070 8563 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 113894820 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 139994279271152 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13084] ppid=13070 vsize=13974352 memory=140142792017536 CPUtime=0.02 cores=0,2,4,6
/proc/13072/task/13084/stat : 13084 (java) R 13070 13070 8563 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 113894820 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 139994278215888 139994806149722 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13085] ppid=13070 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13085/stat : 13085 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113894820 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 139994277165792 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13086] ppid=13070 vsize=13974352 memory=140142792017536 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13086/stat : 13086 (java) S 13070 13070 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113894829 14309736448 7049 18446744073709551615 4194304 4196468 140731271952496 139994276113072 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29576 KiB

[startup+0.700722 s]
/proc/loadavg: 1.27 1.66 1.65 3/215 13086
/proc/meminfo: memFree=30487068/32770624 swapFree=67108860/67108860
[pid=13070] ppid=13067 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13070/stat : 13070 (xcsp3-exec) S 13067 13070 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113894803 9740288 345 18446744073709551615 4194304 5098028 140731992590688 140731992588792 139667544453756 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 19644416 140731992596856 140731992597061 140731992597061 140731992600555 0
/proc/13070/statm: 2378 345 289 221 0 87 0
[pid=13072] ppid=13070 vsize=13978684 memory=68952 CPUtime=1.08 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13070 8563 0 -1 1077944320 12920 0 0 0 104 4 0 0 20 0 15 0 113894815 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 140731271935040 139994806128375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
/proc/13072/statm: 3494671 17238 3148 1 0 3482964 0
[pid=13072/tid=13073] ppid=13070 vsize=13978684 memory=288230617509003574 CPUtime=0.48 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) R 13070 13070 8563 0 -1 4202560 7840 0 0 0 45 3 0 0 20 0 15 0 113894815 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 139994810364576 139994408832025 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13074] ppid=13070 vsize=13978684 memory=14973360639576424 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13074/stat : 13074 (java) S 13070 13070 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113894816 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 139994740563088 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13075] ppid=13070 vsize=13978684 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13075/stat : 13075 (java) S 13070 13070 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113894816 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 139994739510288 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13076] ppid=13070 vsize=13978684 memory=640 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13076/stat : 13076 (java) S 13070 13070 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113894816 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 139994738457488 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13077] ppid=13070 vsize=13978684 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13077/stat : 13077 (java) S 13070 13070 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113894816 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 139994737404688 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13078] ppid=13070 vsize=13978684 memory=960 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13078/stat : 13078 (java) S 13070 13070 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113894817 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 139994284534128 139994806139522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13079] ppid=13070 vsize=13978684 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13079/stat : 13079 (java) S 13070 13070 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113894817 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 139994283480096 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13080] ppid=13070 vsize=13978684 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13080/stat : 13080 (java) S 13070 13070 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113894818 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 139994282427248 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13081] ppid=13070 vsize=13978684 memory=4304 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13081/stat : 13081 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113894820 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 139994281375568 139994806146971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13082] ppid=13070 vsize=13978684 memory=1624 CPUtime=0.18 cores=0,2,4,6
/proc/13072/task/13082/stat : 13082 (java) R 13070 13070 8563 0 -1 1077944384 1400 0 0 0 18 0 0 0 20 0 15 0 113894820 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 139994280323952 139994806139522 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13083] ppid=13070 vsize=13978684 memory=928 CPUtime=0.16 cores=0,2,4,6
/proc/13072/task/13083/stat : 13083 (java) R 13070 13070 8563 0 -1 4202560 867 0 0 0 16 0 0 0 20 0 15 0 113894820 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 139994279262800 139994806149722 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13084] ppid=13070 vsize=13978684 memory=2164 CPUtime=0.23 cores=0,2,4,6
/proc/13072/task/13084/stat : 13084 (java) R 13070 13070 8563 0 -1 4202560 1506 0 0 0 23 0 0 0 20 0 15 0 113894820 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 139994278214080 139994806140310 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13085] ppid=13070 vsize=13978684 memory=840 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13085/stat : 13085 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113894820 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 139994277165792 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13086] ppid=13070 vsize=13978684 memory=140186392475055 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13086/stat : 13086 (java) S 13070 13070 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113894829 14314172416 17238 18446744073709551615 4194304 4196468 140731271952496 139994276113072 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 70332 KiB

[startup+1.50174 s]
/proc/loadavg: 1.27 1.66 1.65 5/215 13086
/proc/meminfo: memFree=30396540/32770624 swapFree=67108860/67108860
[pid=13070] ppid=13067 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13070/stat : 13070 (xcsp3-exec) S 13067 13070 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113894803 9740288 345 18446744073709551615 4194304 5098028 140731992590688 140731992588792 139667544453756 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 19644416 140731992596856 140731992597061 140731992597061 140731992600555 0
/proc/13070/statm: 2378 345 289 221 0 87 0
[pid=13072] ppid=13070 vsize=13980732 memory=208464 CPUtime=3.66 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13070 8563 0 -1 1077944320 17336 0 0 0 358 8 0 0 20 0 15 0 113894815 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 140731271935040 139994806128375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
/proc/13072/statm: 3495183 52116 3211 1 0 3483476 0
[pid=13072/tid=13073] ppid=13070 vsize=13980732 memory=280285270905192 CPUtime=1.25 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) R 13070 13070 8563 0 -1 4202560 8646 0 0 0 121 4 0 0 20 0 15 0 113894815 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 139994810365512 139994408816704 0 4 1 16800974 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13074] ppid=13070 vsize=13980732 memory=1767379043841 CPUtime=0.01 cores=0,2,4,6
/proc/13072/task/13074/stat : 13074 (java) S 13070 13070 8563 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 113894816 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 139994740563088 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13075] ppid=13070 vsize=13980732 memory=1853278389761 CPUtime=0.01 cores=0,2,4,6
/proc/13072/task/13075/stat : 13075 (java) S 13070 13070 8563 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 15 0 113894816 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 139994739510288 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13076] ppid=13070 vsize=13980732 memory=1861868324097 CPUtime=0.01 cores=0,2,4,6
/proc/13072/task/13076/stat : 13076 (java) S 13070 13070 8563 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 15 0 113894816 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 139994738457488 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13077] ppid=13070 vsize=13980732 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/13072/task/13077/stat : 13077 (java) S 13070 13070 8563 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 113894816 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 139994737404688 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13078] ppid=13070 vsize=13980732 memory=105972 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13078/stat : 13078 (java) S 13070 13070 8563 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113894817 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 139994284534128 139994806139522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13079] ppid=13070 vsize=13980732 memory=10388 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13079/stat : 13079 (java) S 13070 13070 8563 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 113894817 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 139994283480096 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13080] ppid=13070 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13080/stat : 13080 (java) S 13070 13070 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113894818 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 139994282427248 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13081] ppid=13070 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13081/stat : 13081 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113894820 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 139994281375568 139994806146971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13082] ppid=13070 vsize=13980732 memory=7976406965554101975 CPUtime=0.92 cores=0,2,4,6
/proc/13072/task/13082/stat : 13082 (java) R 13070 13070 8563 0 -1 4202560 2530 0 0 0 92 0 0 0 20 0 15 0 113894820 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 139994280324080 139994785597770 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13083] ppid=13070 vsize=13980732 memory=-3704326594973231514 CPUtime=0.92 cores=0,2,4,6
/proc/13072/task/13083/stat : 13083 (java) R 13070 13070 8563 0 -1 4202560 2525 0 0 0 92 0 0 0 20 0 15 0 113894820 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 139994279252168 139994789539266 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13084] ppid=13070 vsize=13980732 memory=8303054830060986464 CPUtime=0.46 cores=0,2,4,6
/proc/13072/task/13084/stat : 13084 (java) S 13070 13070 8563 0 -1 1077944384 2180 0 0 0 46 0 0 0 20 0 15 0 113894820 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 139994278218352 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13085] ppid=13070 vsize=13980732 memory=-7173504570860347296 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13085/stat : 13085 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113894820 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 139994277165792 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13086] ppid=13070 vsize=13980732 memory=-8033973737701895300 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13086/stat : 13086 (java) S 13070 13070 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113894829 14316269568 52116 18446744073709551615 4194304 4196468 140731271952496 139994276113072 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
Current children cumulated CPU time: 3.66 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 209844 KiB

[startup+3.11034 s]
/proc/loadavg: 1.27 1.66 1.65 3/215 13086
/proc/meminfo: memFree=30314052/32770624 swapFree=67108860/67108860
[pid=13070] ppid=13067 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13070/stat : 13070 (xcsp3-exec) S 13067 13070 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113894803 9740288 345 18446744073709551615 4194304 5098028 140731992590688 140731992588792 139667544453756 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 19644416 140731992596856 140731992597061 140731992597061 140731992600555 0
/proc/13070/statm: 2378 345 289 221 0 87 0
[pid=13072] ppid=13070 vsize=13980732 memory=218116 CPUtime=6.18 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13070 8563 0 -1 1077944320 19826 0 0 0 610 8 0 0 20 0 15 0 113894815 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 140731271935040 139994806128375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
/proc/13072/statm: 3495183 54529 3212 1 0 3483476 0
[pid=13072/tid=13073] ppid=13070 vsize=13980732 memory=196329397844978 CPUtime=2.86 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) R 13070 13070 8563 0 -1 4202560 8808 0 0 0 282 4 0 0 20 0 15 0 113894815 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994810367816 139994414182431 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13074] ppid=13070 vsize=13980732 memory=6944652177228980320 CPUtime=0.01 cores=0,2,4,6
/proc/13072/task/13074/stat : 13074 (java) S 13070 13070 8563 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 113894816 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994740563088 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13075] ppid=13070 vsize=13980732 memory=6944652177228980320 CPUtime=0.01 cores=0,2,4,6
/proc/13072/task/13075/stat : 13075 (java) S 13070 13070 8563 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 15 0 113894816 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994739510288 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13076] ppid=13070 vsize=13980732 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/13072/task/13076/stat : 13076 (java) S 13070 13070 8563 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 15 0 113894816 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994738457488 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13077] ppid=13070 vsize=13980732 memory=6944652177228980320 CPUtime=0.01 cores=0,2,4,6
/proc/13072/task/13077/stat : 13077 (java) S 13070 13070 8563 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 113894816 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994737404688 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13078] ppid=13070 vsize=13980732 memory=-7161732098442470212 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13078/stat : 13078 (java) S 13070 13070 8563 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113894817 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994284534128 139994806139522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13079] ppid=13070 vsize=13980732 memory=7447090486856149346 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13079/stat : 13079 (java) S 13070 13070 8563 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 113894817 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994283480096 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13080] ppid=13070 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13080/stat : 13080 (java) S 13070 13070 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113894818 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994282427248 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13081] ppid=13070 vsize=13980732 memory=4072 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13081/stat : 13081 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113894820 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994281375568 139994806146971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13082] ppid=13070 vsize=13980732 memory=4584 CPUtime=1.36 cores=0,2,4,6
/proc/13072/task/13082/stat : 13082 (java) S 13070 13070 8563 0 -1 1077944384 4084 0 0 0 136 0 0 0 20 0 15 0 113894820 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994280323952 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13083] ppid=13070 vsize=13980732 memory=1160 CPUtime=1.35 cores=0,2,4,6
/proc/13072/task/13083/stat : 13083 (java) S 13070 13070 8563 0 -1 1077944384 3211 0 0 0 135 0 0 0 20 0 15 0 113894820 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994279271152 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13084] ppid=13070 vsize=13980732 memory=2436 CPUtime=0.5 cores=0,2,4,6
/proc/13072/task/13084/stat : 13084 (java) S 13070 13070 8563 0 -1 1077944384 2266 0 0 0 50 0 0 0 20 0 15 0 113894820 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994278218352 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13085] ppid=13070 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13085/stat : 13085 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113894820 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994277165792 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13086] ppid=13070 vsize=13980732 memory=217772 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13086/stat : 13086 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113894829 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994276113072 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 219496 KiB

[startup+3.17218 s]
# the end of solver process 13070 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.19025 s, system=0.093 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.11034 s]
/proc/loadavg: 1.27 1.66 1.65 3/215 13086
/proc/meminfo: memFree=30314052/32770624 swapFree=67108860/67108860
[pid=13070] ppid=13067 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13070/stat : 13070 (xcsp3-exec) S 13067 13070 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113894803 9740288 345 18446744073709551615 4194304 5098028 140731992590688 140731992588792 139667544453756 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 19644416 140731992596856 140731992597061 140731992597061 140731992600555 0
/proc/13070/statm: 2378 345 289 221 0 87 0
[pid=13072] ppid=13070 vsize=13980732 memory=218116 CPUtime=6.18 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13070 8563 0 -1 1077944320 19826 0 0 0 610 8 0 0 20 0 15 0 113894815 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 140731271935040 139994806128375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
/proc/13072/statm: 3495183 54529 3212 1 0 3483476 0
[pid=13072/tid=13073] ppid=13070 vsize=13980732 memory=196329397844978 CPUtime=2.86 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) R 13070 13070 8563 0 -1 4202560 8808 0 0 0 282 4 0 0 20 0 15 0 113894815 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994810367816 139994414182431 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13074] ppid=13070 vsize=13980732 memory=6944652177228980320 CPUtime=0.01 cores=0,2,4,6
/proc/13072/task/13074/stat : 13074 (java) S 13070 13070 8563 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 113894816 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994740563088 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13075] ppid=13070 vsize=13980732 memory=6944652177228980320 CPUtime=0.01 cores=0,2,4,6
/proc/13072/task/13075/stat : 13075 (java) S 13070 13070 8563 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 15 0 113894816 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994739510288 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13076] ppid=13070 vsize=13980732 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/13072/task/13076/stat : 13076 (java) S 13070 13070 8563 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 15 0 113894816 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994738457488 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13077] ppid=13070 vsize=13980732 memory=6944652177228980320 CPUtime=0.01 cores=0,2,4,6
/proc/13072/task/13077/stat : 13077 (java) S 13070 13070 8563 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 113894816 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994737404688 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13078] ppid=13070 vsize=13980732 memory=-7161732098442470212 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13078/stat : 13078 (java) S 13070 13070 8563 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113894817 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994284534128 139994806139522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13079] ppid=13070 vsize=13980732 memory=7447090486856149346 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13079/stat : 13079 (java) S 13070 13070 8563 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 113894817 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994283480096 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13080] ppid=13070 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13080/stat : 13080 (java) S 13070 13070 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113894818 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994282427248 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13081] ppid=13070 vsize=13980732 memory=4072 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13081/stat : 13081 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113894820 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994281375568 139994806146971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13082] ppid=13070 vsize=13980732 memory=4584 CPUtime=1.36 cores=0,2,4,6
/proc/13072/task/13082/stat : 13082 (java) S 13070 13070 8563 0 -1 1077944384 4084 0 0 0 136 0 0 0 20 0 15 0 113894820 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994280323952 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13083] ppid=13070 vsize=13980732 memory=1160 CPUtime=1.35 cores=0,2,4,6
/proc/13072/task/13083/stat : 13083 (java) S 13070 13070 8563 0 -1 1077944384 3211 0 0 0 135 0 0 0 20 0 15 0 113894820 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994279271152 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13084] ppid=13070 vsize=13980732 memory=2436 CPUtime=0.5 cores=0,2,4,6
/proc/13072/task/13084/stat : 13084 (java) S 13070 13070 8563 0 -1 1077944384 2266 0 0 0 50 0 0 0 20 0 15 0 113894820 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994278218352 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13085] ppid=13070 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13085/stat : 13085 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113894820 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994277165792 139994806138581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
[pid=13072/tid=13086] ppid=13070 vsize=13980732 memory=217772 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13086/stat : 13086 (java) S 13070 13070 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113894829 14316269568 54529 18446744073709551615 4194304 4196468 140731271952496 139994276113072 139994806139522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 36122624 140731271958961 140731271959137 140731271959137 140731271962575 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 219496 KiB

Child status: 0
Real time (s): 3.17222
CPU time (s): 6.28325
CPU user time (s): 6.19025
CPU system time (s): 0.093
CPU usage (%): 198.071
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 219496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.19025
system time used= 0.093
maximum resident set size= 219064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20411
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1953
involuntary context switches= 18


# summary of solver processes directly reported to runsolver:
#   pid: 13070
#   total CPU time (s): 6.28325
#   total CPU user time (s): 6.19025
#   total CPU system time (s): 0.093

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036343 second user time and 0.082065 second system time

The end