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-4255062-1501621668/watcher-4255062-1501621668 -o /tmp/evaluation-result-4255062-1501621668/solver-4255062-1501621668 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11514 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1254045438 HOME/instance-4255062-1501621668.xml
pid=22642
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.85 1.86 3/198 22645
/proc/meminfo: memFree=30542728/32770624 swapFree=0/290864
[pid=22645] ppid=22642 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22645/stat : 22645 (runsolver) D 22642 22645 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9672559 24240128 108 18446744073709551615 4194304 4338465 140724108456112 140724108453752 140236751192791 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 25755648 140724108460124 140724108460614 140724108460614 140724108464074 0
/proc/22645/statm: 5918 108 54 36 0 2156 0
[startup+0.100151 s]
/proc/loadavg: 1.99 1.85 1.86 3/198 22645
/proc/meminfo: memFree=30542728/32770624 swapFree=0/290864
[pid=22645] ppid=22642 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22645/stat : 22645 (runsolver) D 22642 22645 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9672559 24240128 108 18446744073709551615 4194304 4338465 140724108456112 140724108453752 140236751192791 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 25755648 140724108460124 140724108460614 140724108460614 140724108464074 0
/proc/22645/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.203555 s]
/proc/loadavg: 1.99 1.85 1.86 3/198 22645
/proc/meminfo: memFree=30542728/32770624 swapFree=0/290864
[pid=22645] ppid=22642 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9672559 9740288 345 18446744073709551615 4194304 5098028 140727337625744 140727337623848 140196679180924 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 17 0 0 7196144 7232144 23228416 140727337628059 140727337628263 140727337628263 140727337631723 0
/proc/22645/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300295 s]
/proc/loadavg: 1.99 1.85 1.86 3/198 22645
/proc/meminfo: memFree=30542728/32770624 swapFree=0/290864
[pid=22645] ppid=22642 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9672559 9740288 345 18446744073709551615 4194304 5098028 140727337625744 140727337623848 140196679180924 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 17 0 0 7196144 7232144 23228416 140727337628059 140727337628263 140727337628263 140727337631723 0
/proc/22645/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700658 s]
/proc/loadavg: 1.99 1.85 1.86 3/198 22645
/proc/meminfo: memFree=30542728/32770624 swapFree=0/290864
[pid=22645] ppid=22642 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9672559 9740288 345 18446744073709551615 4194304 5098028 140727337625744 140727337623848 140196679180924 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 17 0 0 7196144 7232144 23228416 140727337628059 140727337628263 140727337628263 140727337631723 0
/proc/22645/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 1.99 1.85 1.86 6/214 22661
/proc/meminfo: memFree=30461068/32770624 swapFree=0/290864
[pid=22645] ppid=22642 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9672559 9740288 345 18446744073709551615 4194304 5098028 140727337625744 140727337623848 140196679180924 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 17 0 0 7196144 7232144 23228416 140727337628059 140727337628263 140727337628263 140727337631723 0
/proc/22645/statm: 2378 345 289 221 0 87 0
[pid=22647] ppid=22645 vsize=13980732 CPUtime=3.34 cores=0,2,4,6
/proc/22647/stat : 22647 (java) S 22645 22645 5234 0 -1 1077944320 30718 0 0 0 327 7 0 0 20 0 15 0 9672577 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140728954051424 140211088338679 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
/proc/22647/statm: 3495183 33233 3183 1 0 3483484 0
[pid=22647/tid=22648] ppid=22645 vsize=13980732 CPUtime=1.2 cores=0,2,4,6
/proc/22647/task/22648/stat : 22648 (java) R 22645 22645 5234 0 -1 4202560 9045 0 0 0 116 4 0 0 20 0 15 0 9672577 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140211092575568 140210703864371 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22649] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22649/stat : 22649 (java) S 22645 22645 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9672578 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140211022772496 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22650] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22650/stat : 22650 (java) S 22645 22645 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9672578 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140211021719952 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22651] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22651/stat : 22651 (java) S 22645 22645 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9672578 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140211020667408 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22652] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22652/stat : 22652 (java) S 22645 22645 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9672578 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140210685524624 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22653] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22653/stat : 22653 (java) S 22645 22645 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9672579 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140210005174768 140211088349826 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22654] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22654/stat : 22654 (java) S 22645 22645 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9672579 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140210004120992 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22655] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9672580 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140210003068400 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22656] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672582 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140210002016976 140211088357275 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22657] ppid=22645 vsize=13980732 CPUtime=0.85 cores=0,2,4,6
/proc/22647/task/22657/stat : 22657 (java) R 22645 22645 5234 0 -1 4202560 6633 0 0 0 85 0 0 0 20 0 15 0 9672582 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140210000944584 140211071725467 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22658] ppid=22645 vsize=13980732 CPUtime=0.86 cores=0,2,4,6
/proc/22647/task/22658/stat : 22658 (java) R 22645 22645 5234 0 -1 4202560 11365 0 0 0 86 0 0 0 20 0 15 0 9672582 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140209999899136 140211071806797 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22659] ppid=22645 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 5234 0 -1 1077944384 2366 0 0 0 39 0 0 0 20 0 15 0 9672582 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140209998858480 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22660] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672582 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140209997806176 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22661] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672592 14316269568 33233 18446744073709551615 4194304 4196468 140728954068880 140209996753712 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
Current children cumulated CPU time (s) 3.34
Current children cumulated vsize (KiB) 13990244
[startup+3.10065 s]
/proc/loadavg: 1.99 1.85 1.86 5/214 22661
/proc/meminfo: memFree=30138180/32770624 swapFree=0/290864
[pid=22645] ppid=22642 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9672559 9740288 345 18446744073709551615 4194304 5098028 140727337625744 140727337623848 140196679180924 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 17 0 0 7196144 7232144 23228416 140727337628059 140727337628263 140727337628263 140727337631723 0
/proc/22645/statm: 2378 345 289 221 0 87 0
[pid=22647] ppid=22645 vsize=13980732 CPUtime=8.19 cores=0,2,4,6
/proc/22647/stat : 22647 (java) S 22645 22645 5234 0 -1 1077944320 63323 0 0 0 805 14 0 0 20 0 15 0 9672577 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140728954051424 140211088338679 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
/proc/22647/statm: 3495183 70486 3205 1 0 3483484 0
[pid=22647/tid=22648] ppid=22645 vsize=13980732 CPUtime=2.78 cores=0,2,4,6
/proc/22647/task/22648/stat : 22648 (java) R 22645 22645 5234 0 -1 4202560 9700 0 0 0 273 5 0 0 20 0 15 0 9672577 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140211092576608 140210703128657 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22649] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22649/stat : 22649 (java) S 22645 22645 5234 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 9672578 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140211022772496 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22650] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22650/stat : 22650 (java) S 22645 22645 5234 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 9672578 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140211021719952 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22651] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22651/stat : 22651 (java) S 22645 22645 5234 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 9672578 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140211020667408 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22652] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22652/stat : 22652 (java) S 22645 22645 5234 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 15 0 9672578 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140210685524624 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22653] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22653/stat : 22653 (java) S 22645 22645 5234 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 9672579 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140210005174768 140211088349826 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22654] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22654/stat : 22654 (java) S 22645 22645 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9672579 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140210004120992 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22655] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9672580 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140210003068400 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22656] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672582 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140210002016976 140211088357275 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22657] ppid=22645 vsize=13980732 CPUtime=2.45 cores=0,2,4,6
/proc/22647/task/22657/stat : 22657 (java) R 22645 22645 5234 0 -1 4202560 15816 0 0 0 243 2 0 0 20 0 15 0 9672582 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140210000947896 140211073265252 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22658] ppid=22645 vsize=13980732 CPUtime=2.46 cores=0,2,4,6
/proc/22647/task/22658/stat : 22658 (java) R 22645 22645 5234 0 -1 4202560 32572 0 0 0 243 3 0 0 20 0 15 0 9672582 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140209999897048 140211069884145 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22659] ppid=22645 vsize=13980732 CPUtime=0.43 cores=0,2,4,6
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 5234 0 -1 1077944384 3162 0 0 0 42 1 0 0 20 0 15 0 9672582 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140209998858480 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22660] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672582 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140209997806176 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22661] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 5234 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 9672592 14316269568 70486 18446744073709551615 4194304 4196468 140728954068880 140209996753712 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 13990244
[startup+6.30079 s]
/proc/loadavg: 2.23 1.90 1.88 4/214 22739
/proc/meminfo: memFree=31471176/32770624 swapFree=0/290916
[pid=22645] ppid=22642 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9672559 9740288 345 18446744073709551615 4194304 5098028 140727337625744 140727337623848 140196679180924 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 17 0 0 7196144 7232144 23228416 140727337628059 140727337628263 140727337628263 140727337631723 0
/proc/22645/statm: 2378 345 289 221 0 87 0
[pid=22647] ppid=22645 vsize=13980732 CPUtime=14.33 cores=0,2,4,6
/proc/22647/stat : 22647 (java) S 22645 22645 5234 0 -1 1077944320 64184 0 0 0 1417 16 0 0 20 0 15 0 9672577 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140728954051424 140211088338679 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
/proc/22647/statm: 3495183 68901 3221 1 0 3483484 0
[pid=22647/tid=22648] ppid=22645 vsize=13980732 CPUtime=5.97 cores=0,2,4,6
/proc/22647/task/22648/stat : 22648 (java) R 22645 22645 5234 0 -1 4202560 9734 0 0 0 591 6 0 0 20 0 15 0 9672577 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140211092577984 140210705174803 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22649] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22649/stat : 22649 (java) S 22645 22645 5234 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 9672578 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140211022772496 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22650] ppid=22645 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/22647/task/22650/stat : 22650 (java) S 22645 22645 5234 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 15 0 9672578 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140211021719952 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22651] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22651/stat : 22651 (java) S 22645 22645 5234 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 9672578 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140211020667408 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22652] ppid=22645 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/22647/task/22652/stat : 22652 (java) S 22645 22645 5234 0 -1 1077944384 486 0 0 0 1 0 0 0 20 0 15 0 9672578 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140210685524624 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22653] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22653/stat : 22653 (java) S 22645 22645 5234 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 9672579 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140210005174768 140211088349826 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22654] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22654/stat : 22654 (java) S 22645 22645 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9672579 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140210004120992 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22655] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9672580 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140210003068400 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22656] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672582 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140210002016976 140211088357275 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22657] ppid=22645 vsize=13980732 CPUtime=3.69 cores=0,2,4,6
/proc/22647/task/22657/stat : 22657 (java) S 22645 22645 5234 0 -1 1077944384 16150 0 0 0 367 2 0 0 20 0 15 0 9672582 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140210000963568 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22658] ppid=22645 vsize=13980732 CPUtime=4.04 cores=0,2,4,6
/proc/22647/task/22658/stat : 22658 (java) S 22645 22645 5234 0 -1 1077944384 32862 0 0 0 400 4 0 0 20 0 15 0 9672582 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140209999911024 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22659] ppid=22645 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 5234 0 -1 1077944384 3340 0 0 0 51 1 0 0 20 0 15 0 9672582 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140209998858480 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22660] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672582 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140209997806176 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22661] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 5234 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 9672592 14316269568 68901 18446744073709551615 4194304 4196468 140728954068880 140209996753712 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
Current children cumulated CPU time (s) 14.33
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 2.21 1.90 1.88 3/215 22740
/proc/meminfo: memFree=31271140/32770624 swapFree=0/290928
[pid=22645] ppid=22642 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9672559 9740288 345 18446744073709551615 4194304 5098028 140727337625744 140727337623848 140196679180924 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 17 0 0 7196144 7232144 23228416 140727337628059 140727337628263 140727337628263 140727337631723 0
/proc/22645/statm: 2378 345 289 221 0 87 0
[pid=22647] ppid=22645 vsize=13980732 CPUtime=21 cores=0,2,4,6
/proc/22647/stat : 22647 (java) S 22645 22645 5234 0 -1 1077944320 68097 0 0 0 2081 19 0 0 20 0 15 0 9672577 14316269568 69561 18446744073709551615 4194304 4196468 140728954068880 140728954051424 140211088338679 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
/proc/22647/statm: 3495183 69561 3229 1 0 3483484 0
[pid=22647/tid=22648] ppid=22645 vsize=13980732 CPUtime=12.34 cores=0,2,4,6
/proc/22647/task/22648/stat : 22648 (java) R 22645 22645 5234 0 -1 4202560 10518 0 0 0 1228 6 0 0 20 0 15 0 9672577 14316269568 69561 18446744073709551615 4194304 4196468 140728954068880 140211092577368 140210706112352 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22649] ppid=22645 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/22647/task/22649/stat : 22649 (java) S 22645 22645 5234 0 -1 1077944384 90 0 0 0 2 0 0 0 20 0 15 0 9672578 14316269568 69561 18446744073709551615 4194304 4196468 140728954068880 140211022772496 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22650] ppid=22645 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/22647/task/22650/stat : 22650 (java) S 22645 22645 5234 0 -1 1077944384 315 0 0 0 2 1 0 0 20 0 15 0 9672578 14316269568 69561 18446744073709551615 4194304 4196468 140728954068880 140211021719952 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
################
# More data... #
################
[pid=22647/tid=22654] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22654/stat : 22654 (java) S 22645 22645 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9672579 14316269568 70858 18446744073709551615 4194304 4196468 140728954068880 140210004120992 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22655] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9672580 14316269568 70858 18446744073709551615 4194304 4196468 140728954068880 140210003068400 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22656] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672582 14316269568 70858 18446744073709551615 4194304 4196468 140728954068880 140210002016976 140211088357275 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22657] ppid=22645 vsize=13980732 CPUtime=3.99 cores=0,2,4,6
/proc/22647/task/22657/stat : 22657 (java) S 22645 22645 5234 0 -1 1077944384 20665 0 0 0 396 3 0 0 20 0 15 0 9672582 14316269568 70858 18446744073709551615 4194304 4196468 140728954068880 140210000963568 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22658] ppid=22645 vsize=13980732 CPUtime=4.47 cores=0,2,4,6
/proc/22647/task/22658/stat : 22658 (java) S 22645 22645 5234 0 -1 1077944384 38676 0 0 0 443 4 0 0 20 0 15 0 9672582 14316269568 70858 18446744073709551615 4194304 4196468 140728954068880 140209999911024 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22659] ppid=22645 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 5234 0 -1 1077944384 6385 0 0 0 57 1 0 0 20 0 15 0 9672582 14316269568 70858 18446744073709551615 4194304 4196468 140728954068880 140209998858480 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22660] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672582 14316269568 70858 18446744073709551615 4194304 4196468 140728954068880 140209997806176 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22661] ppid=22645 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 5234 0 -1 1077944384 335 0 0 0 2 2 0 0 20 0 15 0 9672592 14316269568 70858 18446744073709551615 4194304 4196468 140728954068880 140209996753712 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
Current children cumulated CPU time (s) 112.54
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.04 1.91 1.88 3/216 22747
/proc/meminfo: memFree=29394868/32770624 swapFree=0/291028
[pid=22645] ppid=22642 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9672559 9740288 345 18446744073709551615 4194304 5098028 140727337625744 140727337623848 140196679180924 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 17 0 0 7196144 7232144 23228416 140727337628059 140727337628263 140727337628263 140727337631723 0
/proc/22645/statm: 2378 345 289 221 0 87 0
[pid=22647] ppid=22645 vsize=13980732 CPUtime=173.81 cores=0,2,4,6
/proc/22647/stat : 22647 (java) S 22645 22645 5234 0 -1 1077944320 91066 0 0 0 17333 48 0 0 20 0 15 0 9672577 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140728954051424 140211088338679 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
/proc/22647/statm: 3495183 93900 3229 1 0 3483484 0
[pid=22647/tid=22648] ppid=22645 vsize=13980732 CPUtime=160.75 cores=0,2,4,6
/proc/22647/task/22648/stat : 22648 (java) R 22645 22645 5234 0 -1 4202560 14497 0 0 0 16068 7 0 0 20 0 15 0 9672577 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140211092578176 140210706220181 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22649] ppid=22645 vsize=13980732 CPUtime=0.92 cores=0,2,4,6
/proc/22647/task/22649/stat : 22649 (java) S 22645 22645 5234 0 -1 1077944384 1293 0 0 0 86 6 0 0 20 0 15 0 9672578 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140211022772496 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22650] ppid=22645 vsize=13980732 CPUtime=0.92 cores=0,2,4,6
/proc/22647/task/22650/stat : 22650 (java) S 22645 22645 5234 0 -1 1077944384 1457 0 0 0 86 6 0 0 20 0 15 0 9672578 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140211021719952 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22651] ppid=22645 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/22647/task/22651/stat : 22651 (java) S 22645 22645 5234 0 -1 1077944384 984 0 0 0 85 6 0 0 20 0 15 0 9672578 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140211020667408 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22652] ppid=22645 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/22647/task/22652/stat : 22652 (java) S 22645 22645 5234 0 -1 1077944384 3280 0 0 0 86 7 0 0 20 0 15 0 9672578 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140210685524624 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22653] ppid=22645 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/22647/task/22653/stat : 22653 (java) S 22645 22645 5234 0 -1 1077944384 1529 0 0 0 15 2 0 0 20 0 15 0 9672579 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140210005174768 140211088349826 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22654] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22654/stat : 22654 (java) S 22645 22645 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9672579 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140210004120992 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22655] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9672580 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140210003068400 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22656] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672582 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140210002016976 140211088357275 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22657] ppid=22645 vsize=13980732 CPUtime=3.99 cores=0,2,4,6
/proc/22647/task/22657/stat : 22657 (java) S 22645 22645 5234 0 -1 1077944384 20814 0 0 0 396 3 0 0 20 0 15 0 9672582 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140210000963568 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22658] ppid=22645 vsize=13980732 CPUtime=4.48 cores=0,2,4,6
/proc/22647/task/22658/stat : 22658 (java) S 22645 22645 5234 0 -1 1077944384 39115 0 0 0 444 4 0 0 20 0 15 0 9672582 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140209999911024 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22659] ppid=22645 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 5234 0 -1 1077944384 6388 0 0 0 57 1 0 0 20 0 15 0 9672582 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140209998858480 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22660] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672582 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140209997806176 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22661] ppid=22645 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 5234 0 -1 1077944384 355 0 0 0 3 4 0 0 20 0 15 0 9672592 14316269568 93900 18446744073709551615 4194304 4196468 140728954068880 140209996753712 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
Current children cumulated CPU time (s) 173.81
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.93 1.90 1.88 3/216 22749
/proc/meminfo: memFree=29273168/32770624 swapFree=0/291052
[pid=22645] ppid=22642 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9672559 9740288 345 18446744073709551615 4194304 5098028 140727337625744 140727337623848 140196679180924 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 17 0 0 7196144 7232144 23228416 140727337628059 140727337628263 140727337628263 140727337631723 0
/proc/22645/statm: 2378 345 289 221 0 87 0
[pid=22647] ppid=22645 vsize=13980732 CPUtime=235.24 cores=0,2,4,6
/proc/22647/stat : 22647 (java) S 22645 22645 5234 0 -1 1077944320 96316 0 0 0 23466 58 0 0 20 0 15 0 9672577 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140728954051424 140211088338679 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
/proc/22647/statm: 3495183 113868 3229 1 0 3483484 0
[pid=22647/tid=22648] ppid=22645 vsize=13980732 CPUtime=220.17 cores=0,2,4,6
/proc/22647/task/22648/stat : 22648 (java) S 22645 22645 5234 0 -1 1077944384 15231 0 0 0 22009 8 0 0 20 0 15 0 9672577 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140211092578368 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22649] ppid=22645 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/22647/task/22649/stat : 22649 (java) R 22645 22645 5234 0 -1 4202560 1647 0 0 0 130 8 0 0 20 0 15 0 9672578 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140211022772496 140211081444371 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22650] ppid=22645 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/22647/task/22650/stat : 22650 (java) R 22645 22645 5234 0 -1 4202560 1820 0 0 0 130 8 0 0 20 0 15 0 9672578 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140211021719952 140211074097496 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22651] ppid=22645 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/22647/task/22651/stat : 22651 (java) R 22645 22645 5234 0 -1 4202560 1283 0 0 0 129 8 0 0 20 0 15 0 9672578 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140211020667528 140211080966887 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22652] ppid=22645 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/22647/task/22652/stat : 22652 (java) R 22645 22645 5234 0 -1 4202560 3870 0 0 0 129 9 0 0 20 0 15 0 9672578 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140210685524744 140211080966887 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22653] ppid=22645 vsize=13980732 CPUtime=0.25 cores=0,2,4,6
/proc/22647/task/22653/stat : 22653 (java) S 22645 22645 5234 0 -1 1077944384 1657 0 0 0 22 3 0 0 20 0 15 0 9672579 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140210005173280 140211088348885 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22654] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22654/stat : 22654 (java) S 22645 22645 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9672579 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140210004120992 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22655] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9672580 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140210003068400 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22656] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672582 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140210002016976 140211088357275 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22657] ppid=22645 vsize=13980732 CPUtime=4.04 cores=0,2,4,6
/proc/22647/task/22657/stat : 22657 (java) S 22645 22645 5234 0 -1 1077944384 22175 0 0 0 401 3 0 0 20 0 15 0 9672582 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140210000963568 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22658] ppid=22645 vsize=13980732 CPUtime=4.49 cores=0,2,4,6
/proc/22647/task/22658/stat : 22658 (java) S 22645 22645 5234 0 -1 1077944384 39526 0 0 0 445 4 0 0 20 0 15 0 9672582 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140209999911024 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22659] ppid=22645 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 5234 0 -1 1077944384 7378 0 0 0 57 1 0 0 20 0 15 0 9672582 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140209998858480 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22660] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672582 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140209997806176 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22661] ppid=22645 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 5234 0 -1 1077944384 375 0 0 0 5 5 0 0 20 0 15 0 9672592 14316269568 113868 18446744073709551615 4194304 4196468 140728954068880 140209996753712 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
Current children cumulated CPU time (s) 235.24
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.80 1.87 1.87 3/216 22749
/proc/meminfo: memFree=28951168/32770624 swapFree=0/291060
[pid=22645] ppid=22642 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9672559 9740288 345 18446744073709551615 4194304 5098028 140727337625744 140727337623848 140196679180924 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 17 0 0 7196144 7232144 23228416 140727337628059 140727337628263 140727337628263 140727337631723 0
/proc/22645/statm: 2378 345 289 221 0 87 0
[pid=22647] ppid=22645 vsize=13980732 CPUtime=253.39 cores=0,2,4,6
/proc/22647/stat : 22647 (java) S 22645 22645 5234 0 -1 1077944320 97749 0 0 0 25278 61 0 0 20 0 15 0 9672577 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140728954051424 140211088338679 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
/proc/22647/statm: 3495183 120463 3229 1 0 3483484 0
[pid=22647/tid=22648] ppid=22645 vsize=13980732 CPUtime=237.69 cores=0,2,4,6
/proc/22647/task/22648/stat : 22648 (java) R 22645 22645 5234 0 -1 4202560 15604 0 0 0 23761 8 0 0 20 0 15 0 9672577 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140211092578016 140210704371357 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22649] ppid=22645 vsize=13980732 CPUtime=1.52 cores=0,2,4,6
/proc/22647/task/22649/stat : 22649 (java) S 22645 22645 5234 0 -1 1077944384 1697 0 0 0 144 8 0 0 20 0 15 0 9672578 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140211022772496 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22650] ppid=22645 vsize=13980732 CPUtime=1.52 cores=0,2,4,6
/proc/22647/task/22650/stat : 22650 (java) S 22645 22645 5234 0 -1 1077944384 1934 0 0 0 143 9 0 0 20 0 15 0 9672578 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140211021719952 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22651] ppid=22645 vsize=13980732 CPUtime=1.51 cores=0,2,4,6
/proc/22647/task/22651/stat : 22651 (java) S 22645 22645 5234 0 -1 1077944384 1356 0 0 0 143 8 0 0 20 0 15 0 9672578 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140211020667408 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22652] ppid=22645 vsize=13980732 CPUtime=1.53 cores=0,2,4,6
/proc/22647/task/22652/stat : 22652 (java) S 22645 22645 5234 0 -1 1077944384 4164 0 0 0 143 10 0 0 20 0 15 0 9672578 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140210685524624 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22653] ppid=22645 vsize=13980732 CPUtime=0.28 cores=0,2,4,6
/proc/22647/task/22653/stat : 22653 (java) S 22645 22645 5234 0 -1 1077944384 1799 0 0 0 24 4 0 0 20 0 15 0 9672579 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140210005174768 140211088349826 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22654] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22654/stat : 22654 (java) S 22645 22645 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9672579 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140210004120992 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22655] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9672580 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140210003068400 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22656] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672582 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140210002016976 140211088357275 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22657] ppid=22645 vsize=13980732 CPUtime=4.07 cores=0,2,4,6
/proc/22647/task/22657/stat : 22657 (java) S 22645 22645 5234 0 -1 1077944384 22442 0 0 0 404 3 0 0 20 0 15 0 9672582 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140210000963568 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22658] ppid=22645 vsize=13980732 CPUtime=4.49 cores=0,2,4,6
/proc/22647/task/22658/stat : 22658 (java) S 22645 22645 5234 0 -1 1077944384 39526 0 0 0 445 4 0 0 20 0 15 0 9672582 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140209999911024 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22659] ppid=22645 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 5234 0 -1 1077944384 7494 0 0 0 57 1 0 0 20 0 15 0 9672582 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140209998858480 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22660] ppid=22645 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9672582 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140209997806176 140211088348885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
[pid=22647/tid=22661] ppid=22645 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 5234 0 -1 1077944384 379 0 0 0 5 6 0 0 20 0 15 0 9672592 14316269568 120463 18446744073709551615 4194304 4196468 140728954068880 140209996753712 140211088349826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27361280 140728954073556 140728954073731 140728954073731 140728954077135 0
Current children cumulated CPU time (s) 253.39
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 22647 sig 9
??? kill 22645 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 22645 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1955
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=158
# CPU time returned by wait4() is 0.002113
# while last known CPU time is 253.39
#
# 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): 253.39
CPU user time (s): 252.78
CPU system time (s): 0.61
CPU usage (%): 105.575
Max. virtual memory (cumulated for all children) (KiB): 13993936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001955
system time used= 0.000158
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07326 second user time and 1.58002 second system time
The end