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-4254134-1501983910/watcher-4254134-1501983910 -o /tmp/evaluation-result-4254134-1501983910/solver-4254134-1501983910 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 166539915 HOME/instance-4254134-1501983910.xml
pid=17557
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.99 2.03 4/202 17560
/proc/meminfo: memFree=31545488/32770624 swapFree=0/321452
[pid=17560] ppid=17557 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17560/stat : 17560 (runsolver) D 17557 17560 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98044271 24240128 106 18446744073709551615 4194304 4338465 140728983370768 140728983368408 139976229933783 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 35241984 140728983375971 140728983376460 140728983376460 140728983379914 0
/proc/17560/statm: 5918 106 53 36 0 2156 0
[startup+0.100109 s]
/proc/loadavg: 1.91 1.99 2.03 4/202 17560
/proc/meminfo: memFree=31545488/32770624 swapFree=0/321452
[pid=17560] ppid=17557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17560/stat : 17560 (xcsp3-exec) S 17557 17560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044271 9740288 345 18446744073709551615 4194304 5098028 140734130381744 140734130379848 140136922370684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13676544 140734130385314 140734130385517 140734130385517 140734130388971 0
/proc/17560/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200218 s]
/proc/loadavg: 1.91 1.99 2.03 4/202 17560
/proc/meminfo: memFree=31545488/32770624 swapFree=0/321452
[pid=17560] ppid=17557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17560/stat : 17560 (xcsp3-exec) S 17557 17560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044271 9740288 345 18446744073709551615 4194304 5098028 140734130381744 140734130379848 140136922370684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13676544 140734130385314 140734130385517 140734130385517 140734130388971 0
/proc/17560/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30794 s]
/proc/loadavg: 1.91 1.99 2.03 4/202 17560
/proc/meminfo: memFree=31545488/32770624 swapFree=0/321452
[pid=17560] ppid=17557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17560/stat : 17560 (xcsp3-exec) S 17557 17560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044271 9740288 345 18446744073709551615 4194304 5098028 140734130381744 140734130379848 140136922370684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13676544 140734130385314 140734130385517 140734130385517 140734130388971 0
/proc/17560/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700269 s]
/proc/loadavg: 1.91 1.99 2.03 4/202 17560
/proc/meminfo: memFree=31545488/32770624 swapFree=0/321452
[pid=17560] ppid=17557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17560/stat : 17560 (xcsp3-exec) S 17557 17560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044271 9740288 345 18446744073709551615 4194304 5098028 140734130381744 140734130379848 140136922370684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13676544 140734130385314 140734130385517 140734130385517 140734130388971 0
/proc/17560/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5012 s]
/proc/loadavg: 1.91 1.99 2.03 3/218 17576
/proc/meminfo: memFree=31466896/32770624 swapFree=0/321484
[pid=17560] ppid=17557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17560/stat : 17560 (xcsp3-exec) S 17557 17560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044271 9740288 345 18446744073709551615 4194304 5098028 140734130381744 140734130379848 140136922370684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13676544 140734130385314 140734130385517 140734130385517 140734130388971 0
/proc/17560/statm: 2378 345 289 221 0 87 0
[pid=17562] ppid=17560 vsize=13980732 CPUtime=3.21 cores=1,3,5,7
/proc/17562/stat : 17562 (java) S 17560 17560 12039 0 -1 1077944320 18749 0 0 0 315 6 0 0 20 0 15 0 98044278 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140723323010432 140568181096183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
/proc/17562/statm: 3495183 23059 3179 1 0 3483476 0
[pid=17562/tid=17563] ppid=17560 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/17562/task/17563/stat : 17563 (java) R 17560 17560 12039 0 -1 4202560 9128 0 0 0 132 4 0 0 20 0 15 0 98044278 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140568185334696 140567791619042 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17564] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17564/stat : 17564 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140568115530640 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17565] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17565/stat : 17565 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140568114477840 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17566] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17566/stat : 17566 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140568113425552 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17567] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17567/stat : 17567 (java) S 17560 17560 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140568112372752 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17568] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17568/stat : 17568 (java) S 17560 17560 12039 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 98044280 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140567659374704 140568181107330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17569] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17569/stat : 17569 (java) S 17560 17560 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98044281 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140567658320672 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17570] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17570/stat : 17570 (java) S 17560 17560 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98044281 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140567657268336 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17571] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17571/stat : 17571 (java) S 17560 17560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044284 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140567656216656 140568181114779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17572] ppid=17560 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/17562/task/17572/stat : 17572 (java) S 17560 17560 12039 0 -1 1077944384 2753 0 0 0 63 0 0 0 20 0 15 0 98044284 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140567655164528 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17573] ppid=17560 vsize=13980732 CPUtime=0.72 cores=1,3,5,7
/proc/17562/task/17573/stat : 17573 (java) S 17560 17560 12039 0 -1 1077944384 3120 0 0 0 72 0 0 0 20 0 15 0 98044284 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140567654111728 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17574] ppid=17560 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/17562/task/17574/stat : 17574 (java) S 17560 17560 12039 0 -1 1077944384 2380 0 0 0 46 1 0 0 20 0 15 0 98044284 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140567653059440 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17575] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17575/stat : 17575 (java) S 17560 17560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044284 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140567652006880 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17576] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17576/stat : 17576 (java) S 17560 17560 12039 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 98044289 14316269568 23059 18446744073709551615 4194304 4196468 140723323027888 140567650953648 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 13990244
[startup+3.10062 s]
/proc/loadavg: 1.91 1.99 2.03 3/218 17576
/proc/meminfo: memFree=31463736/32770624 swapFree=0/321484
[pid=17560] ppid=17557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17560/stat : 17560 (xcsp3-exec) S 17557 17560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044271 9740288 345 18446744073709551615 4194304 5098028 140734130381744 140734130379848 140136922370684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13676544 140734130385314 140734130385517 140734130385517 140734130388971 0
/proc/17560/statm: 2378 345 289 221 0 87 0
[pid=17562] ppid=17560 vsize=13980732 CPUtime=5.12 cores=1,3,5,7
/proc/17562/stat : 17562 (java) S 17560 17560 12039 0 -1 1077944320 18926 0 0 0 506 6 0 0 20 0 15 0 98044278 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140723323010432 140568181096183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
/proc/17562/statm: 3495183 23141 3181 1 0 3483476 0
[pid=17562/tid=17563] ppid=17560 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/17562/task/17563/stat : 17563 (java) R 17560 17560 12039 0 -1 4202560 9148 0 0 0 292 4 0 0 20 0 15 0 98044278 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140568185331968 140567791619162 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17564] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17564/stat : 17564 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140568115530640 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17565] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17565/stat : 17565 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140568114477840 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17566] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17566/stat : 17566 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140568113425552 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17567] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17567/stat : 17567 (java) S 17560 17560 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140568112372752 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17568] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17568/stat : 17568 (java) S 17560 17560 12039 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 98044280 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140567659374704 140568181107330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17569] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17569/stat : 17569 (java) S 17560 17560 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98044281 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140567658320672 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17570] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17570/stat : 17570 (java) S 17560 17560 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98044281 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140567657268336 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17571] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17571/stat : 17571 (java) S 17560 17560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044284 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140567656216656 140568181114779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17572] ppid=17560 vsize=13980732 CPUtime=0.75 cores=1,3,5,7
/proc/17562/task/17572/stat : 17572 (java) S 17560 17560 12039 0 -1 1077944384 2789 0 0 0 75 0 0 0 20 0 15 0 98044284 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140567655164528 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17573] ppid=17560 vsize=13980732 CPUtime=0.9 cores=1,3,5,7
/proc/17562/task/17573/stat : 17573 (java) S 17560 17560 12039 0 -1 1077944384 3206 0 0 0 90 0 0 0 20 0 15 0 98044284 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140567654111728 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17574] ppid=17560 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/17562/task/17574/stat : 17574 (java) S 17560 17560 12039 0 -1 1077944384 2410 0 0 0 48 1 0 0 20 0 15 0 98044284 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140567653059440 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17575] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17575/stat : 17575 (java) S 17560 17560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044284 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140567652006880 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17576] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17576/stat : 17576 (java) S 17560 17560 12039 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 98044289 14316269568 23141 18446744073709551615 4194304 4196468 140723323027888 140567650953648 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
Current children cumulated CPU time (s) 5.12
Current children cumulated vsize (KiB) 13990244
[startup+6.30073 s]
/proc/loadavg: 1.92 1.99 2.03 5/218 17576
/proc/meminfo: memFree=31424416/32770624 swapFree=0/321488
[pid=17560] ppid=17557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17560/stat : 17560 (xcsp3-exec) S 17557 17560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044271 9740288 345 18446744073709551615 4194304 5098028 140734130381744 140734130379848 140136922370684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13676544 140734130385314 140734130385517 140734130385517 140734130388971 0
/proc/17560/statm: 2378 345 289 221 0 87 0
[pid=17562] ppid=17560 vsize=13980732 CPUtime=9.92 cores=1,3,5,7
/proc/17562/stat : 17562 (java) S 17560 17560 12039 0 -1 1077944320 38084 0 0 0 983 9 0 0 20 0 15 0 98044278 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140723323010432 140568181096183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
/proc/17562/statm: 3495183 32248 3191 1 0 3483476 0
[pid=17562/tid=17563] ppid=17560 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/17562/task/17563/stat : 17563 (java) R 17560 17560 12039 0 -1 4202560 10585 0 0 0 612 4 0 0 20 0 15 0 98044278 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140568185332864 140567791618688 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17564] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17564/stat : 17564 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140568115530640 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17565] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17565/stat : 17565 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140568114477840 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17566] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17566/stat : 17566 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140568113425552 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17567] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17567/stat : 17567 (java) S 17560 17560 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140568112372752 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17568] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17568/stat : 17568 (java) S 17560 17560 12039 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 98044280 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140567659374704 140568181107330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17569] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17569/stat : 17569 (java) S 17560 17560 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98044281 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140567658320672 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17570] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17570/stat : 17570 (java) S 17560 17560 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98044281 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140567657268336 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17571] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17571/stat : 17571 (java) S 17560 17560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044284 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140567656216656 140568181114779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17572] ppid=17560 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/17562/task/17572/stat : 17572 (java) S 17560 17560 12039 0 -1 1077944384 11242 0 0 0 159 1 0 0 20 0 15 0 98044284 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140567655164528 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17573] ppid=17560 vsize=13980732 CPUtime=1.57 cores=1,3,5,7
/proc/17562/task/17573/stat : 17573 (java) S 17560 17560 12039 0 -1 1077944384 11152 0 0 0 156 1 0 0 20 0 15 0 98044284 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140567654111728 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17574] ppid=17560 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/17562/task/17574/stat : 17574 (java) S 17560 17560 12039 0 -1 1077944384 2863 0 0 0 54 1 0 0 20 0 15 0 98044284 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140567653059440 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17575] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17575/stat : 17575 (java) S 17560 17560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044284 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140567652006880 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17576] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17576/stat : 17576 (java) S 17560 17560 12039 0 -1 1077944384 703 0 0 0 0 0 0 0 20 0 15 0 98044289 14316269568 32248 18446744073709551615 4194304 4196468 140723323027888 140567650953648 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.93 1.99 2.03 3/218 17576
/proc/meminfo: memFree=31413936/32770624 swapFree=0/321496
[pid=17560] ppid=17557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17560/stat : 17560 (xcsp3-exec) S 17557 17560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044271 9740288 345 18446744073709551615 4194304 5098028 140734130381744 140734130379848 140136922370684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13676544 140734130385314 140734130385517 140734130385517 140734130388971 0
/proc/17560/statm: 2378 345 289 221 0 87 0
[pid=17562] ppid=17560 vsize=13980732 CPUtime=16.46 cores=1,3,5,7
/proc/17562/stat : 17562 (java) S 17560 17560 12039 0 -1 1077944320 39550 0 0 0 1637 9 0 0 20 0 15 0 98044278 14316269568 31189 18446744073709551615 4194304 4196468 140723323027888 140723323010432 140568181096183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
/proc/17562/statm: 3495183 31189 3191 1 0 3483476 0
[pid=17562/tid=17563] ppid=17560 vsize=13980732 CPUtime=12.56 cores=1,3,5,7
/proc/17562/task/17563/stat : 17563 (java) R 17560 17560 12039 0 -1 4202560 10854 0 0 0 1252 4 0 0 20 0 15 0 98044278 14316269568 31189 18446744073709551615 4194304 4196468 140723323027888 140568185332000 140567791618989 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17564] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17564/stat : 17564 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 31189 18446744073709551615 4194304 4196468 140723323027888 140568115530640 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17565] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17565/stat : 17565 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 31189 18446744073709551615 4194304 4196468 140723323027888 140568114477840 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
################
# More data... #
################
[pid=17562/tid=17569] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17569/stat : 17569 (java) S 17560 17560 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98044281 14316269568 32850 18446744073709551615 4194304 4196468 140723323027888 140567658320672 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17570] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17570/stat : 17570 (java) S 17560 17560 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98044281 14316269568 32850 18446744073709551615 4194304 4196468 140723323027888 140567657268336 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17571] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17571/stat : 17571 (java) S 17560 17560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044284 14316269568 32850 18446744073709551615 4194304 4196468 140723323027888 140567656216656 140568181114779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17572] ppid=17560 vsize=13980732 CPUtime=2.11 cores=1,3,5,7
/proc/17562/task/17572/stat : 17572 (java) S 17560 17560 12039 0 -1 1077944384 17032 0 0 0 209 2 0 0 20 0 15 0 98044284 14316269568 32850 18446744073709551615 4194304 4196468 140723323027888 140567655164528 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17573] ppid=17560 vsize=13980732 CPUtime=1.94 cores=1,3,5,7
/proc/17562/task/17573/stat : 17573 (java) S 17560 17560 12039 0 -1 1077944384 16225 0 0 0 192 2 0 0 20 0 15 0 98044284 14316269568 32850 18446744073709551615 4194304 4196468 140723323027888 140567654111728 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17574] ppid=17560 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/17562/task/17574/stat : 17574 (java) S 17560 17560 12039 0 -1 1077944384 4162 0 0 0 56 1 0 0 20 0 15 0 98044284 14316269568 32850 18446744073709551615 4194304 4196468 140723323027888 140567653059440 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17575] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17575/stat : 17575 (java) S 17560 17560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044284 14316269568 32850 18446744073709551615 4194304 4196468 140723323027888 140567652006880 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17576] ppid=17560 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/17562/task/17576/stat : 17576 (java) S 17560 17560 12039 0 -1 1077944384 882 0 0 0 1 0 0 0 20 0 15 0 98044289 14316269568 32850 18446744073709551615 4194304 4196468 140723323027888 140567650953648 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
Current children cumulated CPU time (s) 106.84
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 2.03 3/216 17581
/proc/meminfo: memFree=31328684/32770624 swapFree=0/321568
[pid=17560] ppid=17557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17560/stat : 17560 (xcsp3-exec) S 17557 17560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044271 9740288 345 18446744073709551615 4194304 5098028 140734130381744 140734130379848 140136922370684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13676544 140734130385314 140734130385517 140734130385517 140734130388971 0
/proc/17560/statm: 2378 345 289 221 0 87 0
[pid=17562] ppid=17560 vsize=13980732 CPUtime=166.91 cores=1,3,5,7
/proc/17562/stat : 17562 (java) S 17560 17560 12039 0 -1 1077944320 54520 0 0 0 16680 11 0 0 20 0 15 0 98044278 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140723323010432 140568181096183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
/proc/17562/statm: 3495183 33888 3198 1 0 3483476 0
[pid=17562/tid=17563] ppid=17560 vsize=13980732 CPUtime=162.15 cores=1,3,5,7
/proc/17562/task/17563/stat : 17563 (java) R 17560 17560 12039 0 -1 4202560 13368 0 0 0 16211 4 0 0 20 0 15 0 98044278 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140568185334536 140567791617852 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17564] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17564/stat : 17564 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140568115530640 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17565] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17565/stat : 17565 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140568114477840 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17566] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17566/stat : 17566 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140568113425552 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17567] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17567/stat : 17567 (java) S 17560 17560 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140568112372752 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17568] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17568/stat : 17568 (java) S 17560 17560 12039 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 15 0 98044280 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140567659374704 140568181107330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17569] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17569/stat : 17569 (java) S 17560 17560 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98044281 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140567658320672 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17570] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17570/stat : 17570 (java) S 17560 17560 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98044281 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140567657268336 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17571] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17571/stat : 17571 (java) S 17560 17560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044284 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140567656216656 140568181114779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17572] ppid=17560 vsize=13980732 CPUtime=2.14 cores=1,3,5,7
/proc/17562/task/17572/stat : 17572 (java) S 17560 17560 12039 0 -1 1077944384 17666 0 0 0 212 2 0 0 20 0 15 0 98044284 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140567655164528 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17573] ppid=17560 vsize=13980732 CPUtime=1.97 cores=1,3,5,7
/proc/17562/task/17573/stat : 17573 (java) S 17560 17560 12039 0 -1 1077944384 16559 0 0 0 195 2 0 0 20 0 15 0 98044284 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140567654111728 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17574] ppid=17560 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/17562/task/17574/stat : 17574 (java) S 17560 17560 12039 0 -1 1077944384 4268 0 0 0 57 1 0 0 20 0 15 0 98044284 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140567653059440 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17575] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17575/stat : 17575 (java) S 17560 17560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044284 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140567652006880 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17576] ppid=17560 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/17562/task/17576/stat : 17576 (java) S 17560 17560 12039 0 -1 1077944384 915 0 0 0 2 1 0 0 20 0 15 0 98044289 14316269568 33888 18446744073709551615 4194304 4196468 140723323027888 140567650953648 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
Current children cumulated CPU time (s) 166.91
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.87 1.95 2.02 3/216 17583
/proc/meminfo: memFree=31289528/32770624 swapFree=0/321636
[pid=17560] ppid=17557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17560/stat : 17560 (xcsp3-exec) S 17557 17560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044271 9740288 345 18446744073709551615 4194304 5098028 140734130381744 140734130379848 140136922370684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13676544 140734130385314 140734130385517 140734130385517 140734130388971 0
/proc/17560/statm: 2378 345 289 221 0 87 0
[pid=17562] ppid=17560 vsize=13980732 CPUtime=227.01 cores=1,3,5,7
/proc/17562/stat : 17562 (java) S 17560 17560 12039 0 -1 1077944320 58079 0 0 0 22689 12 0 0 20 0 15 0 98044278 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140723323010432 140568181096183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
/proc/17562/statm: 3495183 38019 3198 1 0 3483476 0
[pid=17562/tid=17563] ppid=17560 vsize=13980732 CPUtime=222.15 cores=1,3,5,7
/proc/17562/task/17563/stat : 17563 (java) R 17560 17560 12039 0 -1 4202560 14227 0 0 0 22211 4 0 0 20 0 15 0 98044278 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140568185334664 140567791617852 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17564] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17564/stat : 17564 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140568115530640 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17565] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17565/stat : 17565 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140568114477840 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17566] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17566/stat : 17566 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140568113425552 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17567] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17567/stat : 17567 (java) S 17560 17560 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140568112372752 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17568] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17568/stat : 17568 (java) S 17560 17560 12039 0 -1 1077944384 482 0 0 0 0 0 0 0 20 0 15 0 98044280 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567659374704 140568181107330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17569] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17569/stat : 17569 (java) S 17560 17560 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98044281 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567658320672 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17570] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17570/stat : 17570 (java) S 17560 17560 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98044281 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567657268336 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17571] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17571/stat : 17571 (java) S 17560 17560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044284 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567656216656 140568181114779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17572] ppid=17560 vsize=13980732 CPUtime=2.18 cores=1,3,5,7
/proc/17562/task/17572/stat : 17572 (java) S 17560 17560 12039 0 -1 1077944384 18869 0 0 0 216 2 0 0 20 0 15 0 98044284 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567655164528 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17573] ppid=17560 vsize=13980732 CPUtime=1.99 cores=1,3,5,7
/proc/17562/task/17573/stat : 17573 (java) S 17560 17560 12039 0 -1 1077944384 17183 0 0 0 197 2 0 0 20 0 15 0 98044284 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567654111728 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17574] ppid=17560 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/17562/task/17574/stat : 17574 (java) S 17560 17560 12039 0 -1 1077944384 5048 0 0 0 58 1 0 0 20 0 15 0 98044284 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567653059440 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17575] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17575/stat : 17575 (java) S 17560 17560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044284 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567652006880 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17576] ppid=17560 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/17562/task/17576/stat : 17576 (java) S 17560 17560 12039 0 -1 1077944384 970 0 0 0 3 1 0 0 20 0 15 0 98044289 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567650953648 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
Current children cumulated CPU time (s) 227.01
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.97 1.97 2.03 2/197 17632
/proc/meminfo: memFree=31489932/32770624 swapFree=0/321640
[pid=17560] ppid=17557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/17560/stat : 17560 (xcsp3-exec) S 17557 17560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044271 9740288 345 18446744073709551615 4194304 5098028 140734130381744 140734130379848 140136922370684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13676544 140734130385314 140734130385517 140734130385517 140734130388971 0
/proc/17560/statm: 2378 345 289 221 0 87 0
[pid=17562] ppid=17560 vsize=13980732 CPUtime=244.71 cores=1,3,5,7
/proc/17562/stat : 17562 (java) S 17560 17560 12039 0 -1 1077944320 58080 0 0 0 24459 12 0 0 20 0 15 0 98044278 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140723323010432 140568181096183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
/proc/17562/statm: 3495183 38019 3198 1 0 3483476 0
[pid=17562/tid=17563] ppid=17560 vsize=13980732 CPUtime=239.85 cores=1,3,5,7
/proc/17562/task/17563/stat : 17563 (java) R 17560 17560 12039 0 -1 4202560 14228 0 0 0 23981 4 0 0 20 0 15 0 98044278 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140568185334664 140567791861892 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17564] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17564/stat : 17564 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140568115530640 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17565] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17565/stat : 17565 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140568114477840 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17566] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17566/stat : 17566 (java) S 17560 17560 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140568113425552 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17567] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17567/stat : 17567 (java) S 17560 17560 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98044279 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140568112372752 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17568] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17568/stat : 17568 (java) S 17560 17560 12039 0 -1 1077944384 482 0 0 0 0 0 0 0 20 0 15 0 98044280 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567659374704 140568181107330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17569] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17569/stat : 17569 (java) S 17560 17560 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98044281 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567658320672 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17570] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17570/stat : 17570 (java) S 17560 17560 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98044281 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567657268336 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17571] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17571/stat : 17571 (java) S 17560 17560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044284 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567656216656 140568181114779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17572] ppid=17560 vsize=13980732 CPUtime=2.18 cores=1,3,5,7
/proc/17562/task/17572/stat : 17572 (java) S 17560 17560 12039 0 -1 1077944384 18869 0 0 0 216 2 0 0 20 0 15 0 98044284 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567655164528 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17573] ppid=17560 vsize=13980732 CPUtime=1.99 cores=1,3,5,7
/proc/17562/task/17573/stat : 17573 (java) S 17560 17560 12039 0 -1 1077944384 17183 0 0 0 197 2 0 0 20 0 15 0 98044284 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567654111728 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17574] ppid=17560 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/17562/task/17574/stat : 17574 (java) S 17560 17560 12039 0 -1 1077944384 5048 0 0 0 58 1 0 0 20 0 15 0 98044284 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567653059440 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17575] ppid=17560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/17562/task/17575/stat : 17575 (java) S 17560 17560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044284 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567652006880 140568181106389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
[pid=17562/tid=17576] ppid=17560 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/17562/task/17576/stat : 17576 (java) S 17560 17560 12039 0 -1 1077944384 970 0 0 0 3 1 0 0 20 0 15 0 98044289 14316269568 38019 18446744073709551615 4194304 4196468 140723323027888 140567650953648 140568181107330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140723323032026 140723323032201 140723323032201 140723323035599 0
Current children cumulated CPU time (s) 244.71
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 17562 sig 9
??? kill 17560 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 17560 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=940
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=940
# CPU time returned by wait4() is 0.00188
# while last known CPU time is 244.71
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.074
CPU time (s): 244.71
CPU user time (s): 244.59
CPU system time (s): 0.12
CPU usage (%): 101.931
Max. virtual memory (cumulated for all children) (KiB): 13993784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00094
system time used= 0.00094
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= 4
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03866 second user time and 1.32942 second system time
The end