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-4254102-1501613023/watcher-4254102-1501613023 -o /tmp/evaluation-result-4254102-1501613023/solver-4254102-1501613023 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5294 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 14192876 HOME/instance-4254102-1501613023.xml
pid=6671
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.78 1.82 1.59 2/201 6674
/proc/meminfo: memFree=30682568/32770624 swapFree=0/277528
[pid=6674] ppid=6671 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6674/stat : 6674 (runsolver) D 6671 6674 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 8808058 24240128 107 18446744073709551615 4194304 4338465 140735079159008 140735079156648 140193186251479 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 35270656 140735079161951 140735079162438 140735079162438 140735079165898 0
/proc/6674/statm: 5918 107 54 36 0 2156 0
[startup+0.101696 s]
/proc/loadavg: 1.78 1.82 1.59 2/201 6674
/proc/meminfo: memFree=30682568/32770624 swapFree=0/277528
[pid=6674] ppid=6671 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6674/stat : 6674 (xcsp3-exec) S 6671 6674 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8808058 9740288 344 18446744073709551615 4194304 5098028 140726082341936 140726082340040 140215519380092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 12210176 140726082343325 140726082343527 140726082343527 140726082346987 0
/proc/6674/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200255 s]
/proc/loadavg: 1.78 1.82 1.59 2/201 6674
/proc/meminfo: memFree=30682568/32770624 swapFree=0/277528
[pid=6674] ppid=6671 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6674/stat : 6674 (xcsp3-exec) S 6671 6674 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8808058 9740288 344 18446744073709551615 4194304 5098028 140726082341936 140726082340040 140215519380092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 12210176 140726082343325 140726082343527 140726082343527 140726082346987 0
/proc/6674/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300236 s]
/proc/loadavg: 1.78 1.82 1.59 2/201 6674
/proc/meminfo: memFree=30682568/32770624 swapFree=0/277528
[pid=6674] ppid=6671 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6674/stat : 6674 (xcsp3-exec) S 6671 6674 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8808058 9740288 344 18446744073709551615 4194304 5098028 140726082341936 140726082340040 140215519380092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 12210176 140726082343325 140726082343527 140726082343527 140726082346987 0
/proc/6674/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700533 s]
/proc/loadavg: 1.78 1.82 1.59 2/201 6674
/proc/meminfo: memFree=30682568/32770624 swapFree=0/277528
[pid=6674] ppid=6671 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6674/stat : 6674 (xcsp3-exec) S 6671 6674 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8808058 9740288 344 18446744073709551615 4194304 5098028 140726082341936 140726082340040 140215519380092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 12210176 140726082343325 140726082343527 140726082343527 140726082346987 0
/proc/6674/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50153 s]
/proc/loadavg: 1.78 1.82 1.59 4/217 6690
/proc/meminfo: memFree=30602644/32770624 swapFree=0/277540
[pid=6674] ppid=6671 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6674/stat : 6674 (xcsp3-exec) S 6671 6674 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8808058 9740288 344 18446744073709551615 4194304 5098028 140726082341936 140726082340040 140215519380092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 12210176 140726082343325 140726082343527 140726082343527 140726082346987 0
/proc/6674/statm: 2378 344 289 221 0 87 0
[pid=6676] ppid=6674 vsize=13980732 CPUtime=3.15 cores=0,2,4,6
/proc/6676/stat : 6676 (java) S 6674 6674 5234 0 -1 1077944320 18848 0 0 0 308 7 0 0 20 0 15 0 8808066 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 140729375901968 139982036750071 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
/proc/6676/statm: 3495183 25611 3170 1 0 3483484 0
[pid=6676/tid=6677] ppid=6674 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/6676/task/6677/stat : 6677 (java) R 6674 6674 5234 0 -1 4202560 8859 0 0 0 132 5 0 0 20 0 15 0 8808066 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 139982040988656 139981661886361 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6678] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6678/stat : 6678 (java) S 6674 6674 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 139981978696336 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6679] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6679/stat : 6679 (java) S 6674 6674 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 139981635459600 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6680] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6680/stat : 6680 (java) S 6674 6674 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 139981634406800 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6681] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6681/stat : 6681 (java) S 6674 6674 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 139981633354000 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6682] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6682/stat : 6682 (java) S 6674 6674 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8808068 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 139981582498672 139982036761218 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6683] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6683/stat : 6683 (java) S 6674 6674 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8808068 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 139981581444640 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6684] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6684/stat : 6684 (java) S 6674 6674 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8808069 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 139981580391792 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6685] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6685/stat : 6685 (java) S 6674 6674 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8808071 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 139981579340112 139982036768667 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6686] ppid=6674 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/6676/task/6686/stat : 6686 (java) R 6674 6674 5234 0 -1 4202560 4051 0 0 0 70 0 0 0 20 0 15 0 8808071 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 139981578268488 139982021138928 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6687] ppid=6674 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/6676/task/6687/stat : 6687 (java) R 6674 6674 5234 0 -1 4202560 2793 0 0 0 63 0 0 0 20 0 15 0 8808071 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 139981577234672 139982015973770 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6688] ppid=6674 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/6676/task/6688/stat : 6688 (java) S 6674 6674 5234 0 -1 1077944384 1845 0 0 0 41 0 0 0 20 0 15 0 8808071 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 139981576181872 139982036761218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6689] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6689/stat : 6689 (java) S 6674 6674 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8808071 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 139981012330720 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6690] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6690/stat : 6690 (java) S 6674 6674 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8808076 14316269568 25611 18446744073709551615 4194304 4196468 140729375919424 139981011279024 139982036761218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6676 sig 9
??? kill 6674 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60153 s]
/proc/loadavg: 1.78 1.82 1.59 4/217 6690
/proc/meminfo: memFree=30602644/32770624 swapFree=0/277540
[pid=6674] ppid=6671 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6674/stat : 6674 (xcsp3-exec) S 6671 6674 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8808058 9740288 344 18446744073709551615 4194304 5098028 140726082341936 140726082340040 140215519380092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 12210176 140726082343325 140726082343527 140726082343527 140726082346987 0
/proc/6674/statm: 2378 344 289 221 0 87 0
[pid=6676] ppid=6674 vsize=13980732 CPUtime=3.45 cores=0,2,4,6
/proc/6676/stat : 6676 (java) S 6674 6674 5234 0 -1 1077944320 21108 0 0 0 338 7 0 0 20 0 15 0 8808066 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 140729375901968 139982036750071 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
/proc/6676/statm: 3495183 27543 3172 1 0 3483484 0
[pid=6676/tid=6677] ppid=6674 vsize=13980732 CPUtime=1.47 cores=0,2,4,6
/proc/6676/task/6677/stat : 6677 (java) R 6674 6674 5234 0 -1 4202560 8883 0 0 0 142 5 0 0 20 0 15 0 8808066 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 139982040988656 139981662499368 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6678] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6678/stat : 6678 (java) S 6674 6674 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 139981978696336 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6679] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6679/stat : 6679 (java) S 6674 6674 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 139981635459600 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6680] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6680/stat : 6680 (java) S 6674 6674 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 139981634406800 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6681] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6681/stat : 6681 (java) S 6674 6674 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 139981633354000 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6682] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6682/stat : 6682 (java) S 6674 6674 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8808068 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 139981582498672 139982036761218 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6683] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6683/stat : 6683 (java) S 6674 6674 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8808068 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 139981581444640 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6684] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6684/stat : 6684 (java) S 6674 6674 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8808069 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 139981580391792 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6685] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6685/stat : 6685 (java) S 6674 6674 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8808071 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 139981579340112 139982036768667 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6686] ppid=6674 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/6676/task/6686/stat : 6686 (java) R 6674 6674 5234 0 -1 4202560 4857 0 0 0 80 0 0 0 20 0 15 0 8808071 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 139981578271944 139982021851896 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6687] ppid=6674 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/6676/task/6687/stat : 6687 (java) R 6674 6674 5234 0 -1 4202560 4118 0 0 0 73 1 0 0 20 0 15 0 8808071 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 139981577220136 139982029846907 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6688] ppid=6674 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/6676/task/6688/stat : 6688 (java) S 6674 6674 5234 0 -1 1077944384 1950 0 0 0 41 0 0 0 20 0 15 0 8808071 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 139981576181872 139982036761218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6689] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6689/stat : 6689 (java) S 6674 6674 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8808071 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 139981012330720 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6690] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6690/stat : 6690 (java) S 6674 6674 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8808076 14316269568 27543 18446744073709551615 4194304 4196468 140729375919424 139981011279024 139982036761218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 13990244
[startup+2.00071 s]
/proc/loadavg: 1.78 1.82 1.59 4/217 6690
/proc/meminfo: memFree=30602644/32770624 swapFree=0/277540
[pid=6674] ppid=6671 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6674/stat : 6674 (xcsp3-exec) S 6671 6674 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8808058 9740288 344 18446744073709551615 4194304 5098028 140726082341936 140726082340040 140215519380092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 12210176 140726082343325 140726082343527 140726082343527 140726082346987 0
/proc/6674/statm: 2378 344 289 221 0 87 0
[pid=6676] ppid=6674 vsize=13980732 CPUtime=4.25 cores=0,2,4,6
/proc/6676/stat : 6676 (java) S 6674 6674 5234 0 -1 1077944320 22643 0 0 0 417 8 0 0 20 0 15 0 8808066 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 140729375901968 139982036750071 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
/proc/6676/statm: 3495183 29592 3172 1 0 3483484 0
[pid=6676/tid=6677] ppid=6674 vsize=13980732 CPUtime=1.87 cores=0,2,4,6
/proc/6676/task/6677/stat : 6677 (java) R 6674 6674 5234 0 -1 4202560 8886 0 0 0 182 5 0 0 20 0 15 0 8808066 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 139982040988656 139981661913725 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6678] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6678/stat : 6678 (java) S 6674 6674 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 139981978696336 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6679] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6679/stat : 6679 (java) S 6674 6674 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 139981635459600 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6680] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6680/stat : 6680 (java) S 6674 6674 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 139981634406800 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6681] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6681/stat : 6681 (java) S 6674 6674 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 139981633354000 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6682] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6682/stat : 6682 (java) S 6674 6674 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8808068 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 139981582498672 139982036761218 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6683] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6683/stat : 6683 (java) S 6674 6674 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8808068 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 139981581444640 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6684] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6684/stat : 6684 (java) S 6674 6674 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8808069 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 139981580391792 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6685] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6685/stat : 6685 (java) S 6674 6674 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8808071 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 139981579340112 139982036768667 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6686] ppid=6674 vsize=13980732 CPUtime=1.06 cores=0,2,4,6
/proc/6676/task/6686/stat : 6686 (java) S 6674 6674 5234 0 -1 1077944384 6212 0 0 0 105 1 0 0 20 0 15 0 8808071 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 139981578287472 139982036761218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6687] ppid=6674 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/6676/task/6687/stat : 6687 (java) S 6674 6674 5234 0 -1 1077944384 4265 0 0 0 86 1 0 0 20 0 15 0 8808071 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 139981577234672 139982036761218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6688] ppid=6674 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/6676/task/6688/stat : 6688 (java) S 6674 6674 5234 0 -1 1077944384 1971 0 0 0 42 0 0 0 20 0 15 0 8808071 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 139981576181872 139982036761218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6689] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6689/stat : 6689 (java) S 6674 6674 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8808071 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 139981012330720 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6690] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6690/stat : 6690 (java) S 6674 6674 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8808076 14316269568 29592 18446744073709551615 4194304 4196468 140729375919424 139981011279024 139982036761218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 13990244
[startup+2.40552 s]
/proc/loadavg: 1.72 1.80 1.59 3/217 6690
/proc/meminfo: memFree=30577532/32770624 swapFree=0/277548
[pid=6674] ppid=6671 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6674/stat : 6674 (xcsp3-exec) S 6671 6674 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8808058 9740288 344 18446744073709551615 4194304 5098028 140726082341936 140726082340040 140215519380092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 12210176 140726082343325 140726082343527 140726082343527 140726082346987 0
/proc/6674/statm: 2378 344 289 221 0 87 0
[pid=6676] ppid=6674 vsize=13980732 CPUtime=4.83 cores=0,2,4,6
/proc/6676/stat : 6676 (java) S 6674 6674 5234 0 -1 1077944320 24226 0 0 0 475 8 0 0 20 0 15 0 8808066 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 140729375901968 139982036750071 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
/proc/6676/statm: 3495183 30550 3174 1 0 3483484 0
[pid=6676/tid=6677] ppid=6674 vsize=13980732 CPUtime=2.27 cores=0,2,4,6
/proc/6676/task/6677/stat : 6677 (java) R 6674 6674 5234 0 -1 4202560 9286 0 0 0 222 5 0 0 20 0 15 0 8808066 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 139982040986608 139981662824656 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6678] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6678/stat : 6678 (java) S 6674 6674 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 139981978696336 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6679] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6679/stat : 6679 (java) S 6674 6674 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 139981635459600 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6680] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6680/stat : 6680 (java) S 6674 6674 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 139981634406800 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6681] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6681/stat : 6681 (java) S 6674 6674 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8808067 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 139981633354000 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6682] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6682/stat : 6682 (java) S 6674 6674 5234 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 8808068 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 139981582498672 139982036761218 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6683] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6683/stat : 6683 (java) S 6674 6674 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8808068 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 139981581444640 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6684] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6684/stat : 6684 (java) S 6674 6674 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8808069 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 139981580391792 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6685] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6685/stat : 6685 (java) S 6674 6674 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8808071 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 139981579340112 139982036768667 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6686] ppid=6674 vsize=13980732 CPUtime=1.15 cores=0,2,4,6
/proc/6676/task/6686/stat : 6686 (java) R 6674 6674 5234 0 -1 4202560 6685 0 0 0 114 1 0 0 20 0 15 0 8808071 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 139981578287392 139982020149313 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6687] ppid=6674 vsize=13980732 CPUtime=0.95 cores=0,2,4,6
/proc/6676/task/6687/stat : 6687 (java) R 6674 6674 5234 0 -1 4202560 4869 0 0 0 94 1 0 0 20 0 15 0 8808071 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 139981577225504 139982021648321 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6688] ppid=6674 vsize=13980732 CPUtime=0.43 cores=0,2,4,6
/proc/6676/task/6688/stat : 6688 (java) S 6674 6674 5234 0 -1 1077944384 2064 0 0 0 43 0 0 0 20 0 15 0 8808071 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 139981576181872 139982036761218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6689] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6689/stat : 6689 (java) S 6674 6674 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8808071 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 139981012330720 139982036760277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
[pid=6676/tid=6690] ppid=6674 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6676/task/6690/stat : 6690 (java) S 6674 6674 5234 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 8808076 14316269568 30550 18446744073709551615 4194304 4196468 140729375919424 139981011279024 139982036761218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140729375924692 140729375924867 140729375924867 140729375928271 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 2.44093
CPU time (s): 4.91354
CPU user time (s): 4.82818
CPU system time (s): 0.085357
CPU usage (%): 201.298
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.82818
system time used= 0.085357
maximum resident set size= 123280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2193
involuntary context switches= 19
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014744 second user time and 0.017425 second system time
The end