runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15422 MiB free)
memory of node 1: 16384 MiB (14640 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269378-1502747346/watcher-4269378-1502747346 -o /tmp/evaluation-result-4269378-1502747346/solver-4269378-1502747346 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 747923878 HOME/instance-4269378-1502747346.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9699, runsolver pid=9696
[startup+0.100092 s]*
/proc/loadavg: 2.09 2.06 2.00 3/206 9706
/proc/meminfo: memFree=30778416/32770624 swapFree=67108764/67108860
[pid=9699] ppid=9696 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122241140 9740288 345 18446744073709551615 4194304 5098028 140732356526752 140732356524856 140363188978300 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9383936 140732356534649 140732356534853 140732356534853 140732356538347 0
/proc/9699/statm: 2378 345 289 221 0 87 0
[pid=9701] ppid=9699 vsize=13441356 memory=15952 CPUtime=0.01 cores=0,2,4,6
/proc/9701/stat : 9701 (java) S 9699 9699 4674 0 -1 1077944320 3766 0 0 0 1 0 0 0 20 0 7 0 122241148 13763948544 3988 18446744073709551615 4194304 4196468 140730750526592 140730750509136 139814322818807 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
/proc/9701/statm: 3360339 3988 2025 1 0 3349836 0
[pid=9701/tid=9702] ppid=9699 vsize=13507920 memory=8508281356422187169 CPUtime=0.01 cores=0,2,4,6
/proc/9701/task/9702/stat : 9702 (java) R 9699 9699 4674 0 -1 4202560 2545 0 0 0 1 0 0 0 20 0 8 0 122241149 13832110080 3990 18446744073709551615 4194304 4196468 140730750526592 139814327058864 139814306899294 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9703] ppid=9699 vsize=13507920 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9703/stat : 9703 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 122241149 13832110080 3990 18446744073709551615 4194304 4196468 140730750526592 139814279784976 139814322829013 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9704] ppid=9699 vsize=13507920 memory=140131250087552 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9704/stat : 9704 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 122241149 13832110080 3990 18446744073709551615 4194304 4196468 140730750526592 139814278732432 139814322829013 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9705] ppid=9699 vsize=13507920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9705/stat : 9705 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 122241149 13832110080 3990 18446744073709551615 4194304 4196468 140730750526592 139814277679376 139814322829013 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9706] ppid=9699 vsize=13507920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9706/stat : 9706 (java) S 9699 9699 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 122241149 13832110080 3990 18446744073709551615 4194304 4196468 140730750526592 139814276626832 139814322829013 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9707] ppid=9699 vsize=13507920 memory=140131250087552 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9707/stat : 9707 (java) S 9699 9699 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 122241151 13832110080 3990 18446744073709551615 4194304 4196468 140730750526592 139813666675440 139814322829954 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9708] ppid=9699 vsize=13507920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9708/stat : 9708 (java) S 9699 9699 4674 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 122241151 13832110080 3990 18446744073709551615 4194304 4196468 140730750526592 139813665620560 139814322829013 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17332 KiB
[startup+0.210039 s]*
/proc/loadavg: 2.09 2.06 2.00 2/214 9714
/proc/meminfo: memFree=30773532/32770624 swapFree=67108764/67108860
[pid=9699] ppid=9696 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122241140 9740288 345 18446744073709551615 4194304 5098028 140732356526752 140732356524856 140363188978300 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9383936 140732356534649 140732356534853 140732356534853 140732356538347 0
/proc/9699/statm: 2378 345 289 221 0 87 0
[pid=9701] ppid=9699 vsize=13907304 memory=21732 CPUtime=0.05 cores=0,2,4,6
/proc/9701/stat : 9701 (java) S 9699 9699 4674 0 -1 1077944320 4877 0 0 0 4 1 0 0 20 0 14 0 122241148 14241079296 5433 18446744073709551615 4194304 4196468 140730750526592 140730750509136 139814322818807 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
/proc/9701/statm: 3476826 5433 2559 1 0 3466323 0
[pid=9701/tid=9702] ppid=9699 vsize=13907304 memory=7022364594140610616 CPUtime=0.04 cores=0,2,4,6
/proc/9701/task/9702/stat : 9702 (java) D 9699 9699 4674 0 -1 4202560 3055 0 0 0 4 0 0 0 20 0 14 0 122241149 14241079296 5433 18446744073709551615 4194304 4196468 140730750526592 139814327056288 139814322840829 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9703] ppid=9699 vsize=13907304 memory=4294979926 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9703/stat : 9703 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122241149 14241079296 5433 18446744073709551615 4194304 4196468 140730750526592 139814279784976 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9704] ppid=9699 vsize=13907304 memory=140131251151995 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9704/stat : 9704 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122241149 14241079296 5433 18446744073709551615 4194304 4196468 140730750526592 139814278732432 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9705] ppid=9699 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9705/stat : 9705 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122241149 14241079296 5433 18446744073709551615 4194304 4196468 140730750526592 139814277679376 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9706] ppid=9699 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9706/stat : 9706 (java) S 9699 9699 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 122241149 14241079296 5433 18446744073709551615 4194304 4196468 140730750526592 139814276626832 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9707] ppid=9699 vsize=13907304 memory=140131250087552 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9707/stat : 9707 (java) S 9699 9699 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 122241151 14241079296 5433 18446744073709551615 4194304 4196468 140730750526592 139813666675440 139814322829954 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9708] ppid=9699 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9708/stat : 9708 (java) S 9699 9699 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 122241151 14241079296 5433 18446744073709551615 4194304 4196468 140730750526592 139813665621664 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9709] ppid=9699 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9709/stat : 9709 (java) S 9699 9699 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 122241151 14241079296 5433 18446744073709551615 4194304 4196468 140730750526592 139813664568560 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9710] ppid=9699 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9710/stat : 9710 (java) S 9699 9699 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122241154 14241079296 5433 18446744073709551615 4194304 4196468 140730750526592 139813663517136 139814322837403 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9711] ppid=9699 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9711/stat : 9711 (java) S 9699 9699 4674 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 14 0 122241154 14241079296 5433 18446744073709551615 4194304 4196468 140730750526592 139813662464240 139814322829954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9712] ppid=9699 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9712/stat : 9712 (java) S 9699 9699 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122241154 14241079296 5433 18446744073709551615 4194304 4196468 140730750526592 139813661411696 139814322829954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9713] ppid=9699 vsize=13907304 memory=140131250087552 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9713/stat : 9713 (java) S 9699 9699 4674 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 14 0 122241154 14241079296 5433 18446744073709551615 4194304 4196468 140730750526592 139813660358640 139814322829954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9714] ppid=9699 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9714/stat : 9714 (java) S 9699 9699 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122241154 14241079296 5433 18446744073709551615 4194304 4196468 140730750526592 139813659306336 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23112 KiB
[startup+0.310123 s]*
/proc/loadavg: 2.09 2.06 2.00 3/215 9715
/proc/meminfo: memFree=30762408/32770624 swapFree=67108764/67108860
[pid=9699] ppid=9696 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122241140 9740288 345 18446744073709551615 4194304 5098028 140732356526752 140732356524856 140363188978300 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9383936 140732356534649 140732356534853 140732356534853 140732356538347 0
/proc/9699/statm: 2378 345 289 221 0 87 0
[pid=9701] ppid=9699 vsize=13975376 memory=35084 CPUtime=0.22 cores=0,2,4,6
/proc/9701/stat : 9701 (java) S 9699 9699 4674 0 -1 1077944320 8681 0 0 0 20 2 0 0 20 0 15 0 122241148 14310785024 8771 18446744073709551615 4194304 4196468 140730750526592 140730750509136 139814322818807 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
/proc/9701/statm: 3493844 8771 2964 1 0 3483220 0
[pid=9701/tid=9702] ppid=9699 vsize=13974352 memory=4278483708103473607 CPUtime=0.14 cores=0,2,4,6
/proc/9701/task/9702/stat : 9702 (java) R 9699 9699 4674 0 -1 4202560 5926 0 0 0 12 2 0 0 20 0 15 0 122241149 14309736448 8574 18446744073709551615 4194304 4196468 140730750526592 139814327041184 139814308078192 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9703] ppid=9699 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9703/stat : 9703 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14309736448 8574 18446744073709551615 4194304 4196468 140730750526592 139814279784976 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9704] ppid=9699 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9704/stat : 9704 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14309736448 8574 18446744073709551615 4194304 4196468 140730750526592 139814278732432 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9705] ppid=9699 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9705/stat : 9705 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14309736448 8574 18446744073709551615 4194304 4196468 140730750526592 139814277679376 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9706] ppid=9699 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9706/stat : 9706 (java) S 9699 9699 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122241149 14309736448 8574 18446744073709551615 4194304 4196468 140730750526592 139814276626832 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9707] ppid=9699 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9707/stat : 9707 (java) S 9699 9699 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122241151 14309736448 8574 18446744073709551615 4194304 4196468 140730750526592 139813666675440 139814322829954 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9708] ppid=9699 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9708/stat : 9708 (java) S 9699 9699 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122241151 14309736448 8574 18446744073709551615 4194304 4196468 140730750526592 139813665621664 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9709] ppid=9699 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9709/stat : 9709 (java) S 9699 9699 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122241151 14309736448 8574 18446744073709551615 4194304 4196468 140730750526592 139813664568560 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9710] ppid=9699 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9710/stat : 9710 (java) S 9699 9699 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122241154 14309736448 8574 18446744073709551615 4194304 4196468 140730750526592 139813663517136 139814322837403 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9711] ppid=9699 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9701/task/9711/stat : 9711 (java) S 9699 9699 4674 0 -1 1077944384 646 0 0 0 1 0 0 0 20 0 15 0 122241154 14309736448 8574 18446744073709551615 4194304 4196468 140730750526592 139813662464240 139814322829954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9712] ppid=9699 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9701/task/9712/stat : 9712 (java) S 9699 9699 4674 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 15 0 122241154 14309736448 8574 18446744073709551615 4194304 4196468 140730750526592 139813661411696 139814322829954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9713] ppid=9699 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/9701/task/9713/stat : 9713 (java) R 9699 9699 4674 0 -1 4202560 706 0 0 0 5 0 0 0 20 0 15 0 122241154 14309736448 8574 18446744073709551615 4194304 4196468 140730750526592 139813660358640 139814322840154 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9714] ppid=9699 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9714/stat : 9714 (java) S 9699 9699 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122241154 14309736448 8574 18446744073709551615 4194304 4196468 140730750526592 139813659306336 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9715] ppid=9699 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9715/stat : 9715 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241162 14309736448 8574 18446744073709551615 4194304 4196468 140730750526592 139813658254384 139814322829954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 36464 KiB
[startup+0.700899 s]
/proc/loadavg: 2.09 2.06 2.00 3/215 9715
/proc/meminfo: memFree=30749752/32770624 swapFree=67108764/67108860
[pid=9699] ppid=9696 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122241140 9740288 345 18446744073709551615 4194304 5098028 140732356526752 140732356524856 140363188978300 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9383936 140732356534649 140732356534853 140732356534853 140732356538347 0
/proc/9699/statm: 2378 345 289 221 0 87 0
[pid=9701] ppid=9699 vsize=13980732 memory=62260 CPUtime=1.13 cores=0,2,4,6
/proc/9701/stat : 9701 (java) S 9699 9699 4674 0 -1 1077944320 13231 0 0 0 108 5 0 0 20 0 15 0 122241148 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 140730750509136 139814322818807 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
/proc/9701/statm: 3495183 15565 3173 1 0 3483476 0
[pid=9701/tid=9702] ppid=9699 vsize=13980732 memory=1228 CPUtime=0.52 cores=0,2,4,6
/proc/9701/task/9702/stat : 9702 (java) R 9699 9699 4674 0 -1 4202560 8519 0 0 0 49 3 0 0 20 0 15 0 122241149 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 139814327057640 139814322830742 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9703] ppid=9699 vsize=13980732 memory=5712 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9703/stat : 9703 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 139814279784976 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9704] ppid=9699 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9704/stat : 9704 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 139814278732432 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9705] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9705/stat : 9705 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 139814277679376 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9706] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9706/stat : 9706 (java) S 9699 9699 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 139814276626832 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9707] ppid=9699 vsize=13980732 memory=1 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9707/stat : 9707 (java) S 9699 9699 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122241151 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 139813666675440 139814322829954 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9708] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9708/stat : 9708 (java) S 9699 9699 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122241151 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 139813665621664 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9709] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9709/stat : 9709 (java) S 9699 9699 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122241151 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 139813664568560 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9710] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9710/stat : 9710 (java) S 9699 9699 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122241154 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 139813663517136 139814322837403 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9711] ppid=9699 vsize=13980732 memory=28 CPUtime=0.18 cores=0,2,4,6
/proc/9701/task/9711/stat : 9711 (java) R 9699 9699 4674 0 -1 4202560 1368 0 0 0 18 0 0 0 20 0 15 0 122241154 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 139813662450208 139814308499461 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9712] ppid=9699 vsize=13980732 memory=229 CPUtime=0.16 cores=0,2,4,6
/proc/9701/task/9712/stat : 9712 (java) R 9699 9699 4674 0 -1 4202560 783 0 0 0 16 0 0 0 20 0 15 0 122241154 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 139813661392712 139814306302181 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9713] ppid=9699 vsize=13980732 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/9701/task/9713/stat : 9713 (java) S 9699 9699 4674 0 -1 1077944384 1254 0 0 0 24 0 0 0 20 0 15 0 122241154 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 139813660358640 139814322829954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9714] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9714/stat : 9714 (java) S 9699 9699 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122241154 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 139813659306336 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9715] ppid=9699 vsize=13980732 memory=180 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9715/stat : 9715 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241162 14316269568 15565 18446744073709551615 4194304 4196468 140730750526592 139813658254384 139814322829954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 63640 KiB
[startup+1.13213 s]
# the end of solver process 9699 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.42014 s, system=0.07124 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800899 s]
/proc/loadavg: 2.09 2.06 2.00 3/215 9715
/proc/meminfo: memFree=30749752/32770624 swapFree=67108764/67108860
[pid=9699] ppid=9696 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122241140 9740288 345 18446744073709551615 4194304 5098028 140732356526752 140732356524856 140363188978300 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9383936 140732356534649 140732356534853 140732356534853 140732356538347 0
/proc/9699/statm: 2378 345 289 221 0 87 0
[pid=9701] ppid=9699 vsize=13980732 memory=66104 CPUtime=1.47 cores=0,2,4,6
/proc/9701/stat : 9701 (java) S 9699 9699 4674 0 -1 1077944320 14157 0 0 0 141 6 0 0 20 0 15 0 122241148 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 140730750509136 139814322818807 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
/proc/9701/statm: 3495183 16526 3180 1 0 3483476 0
[pid=9701/tid=9702] ppid=9699 vsize=13980732 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/9701/task/9702/stat : 9702 (java) R 9699 9699 4674 0 -1 4202560 8524 0 0 0 59 3 0 0 20 0 15 0 122241149 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 139814327055456 139813953048767 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9703] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9703/stat : 9703 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 139814279784976 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9704] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9704/stat : 9704 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 139814278732432 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9705] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9705/stat : 9705 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 139814277679376 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9706] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9706/stat : 9706 (java) S 9699 9699 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 139814276626832 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9707] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9707/stat : 9707 (java) S 9699 9699 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122241151 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 139813666675440 139814322829954 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9708] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9708/stat : 9708 (java) S 9699 9699 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122241151 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 139813665621664 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9709] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9709/stat : 9709 (java) S 9699 9699 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122241151 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 139813664568560 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9710] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9710/stat : 9710 (java) S 9699 9699 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122241154 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 139813663517136 139814322837403 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9711] ppid=9699 vsize=13980732 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/9701/task/9711/stat : 9711 (java) R 9699 9699 4674 0 -1 4202560 1703 0 0 0 28 0 0 0 20 0 15 0 122241154 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 139813662450016 139814307212695 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9712] ppid=9699 vsize=13980732 memory=280262185320688 CPUtime=0.26 cores=0,2,4,6
/proc/9701/task/9712/stat : 9712 (java) R 9699 9699 4674 0 -1 4202560 1214 0 0 0 26 0 0 0 20 0 15 0 122241154 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 139813661398112 139814303997685 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9713] ppid=9699 vsize=13980732 memory=2760 CPUtime=0.27 cores=0,2,4,6
/proc/9701/task/9713/stat : 9713 (java) R 9699 9699 4674 0 -1 4202560 1409 0 0 0 27 0 0 0 20 0 15 0 122241154 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 139813660358640 139814322840154 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9714] ppid=9699 vsize=13980732 memory=4278483708103473607 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9714/stat : 9714 (java) S 9699 9699 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122241154 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 139813659306336 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9715] ppid=9699 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9715/stat : 9715 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241162 14316269568 16526 18446744073709551615 4194304 4196468 140730750526592 139813658254384 139814322829954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67484 KiB
[startup+1.0009 s]*
/proc/loadavg: 2.09 2.06 2.00 6/215 9715
/proc/meminfo: memFree=30726868/32770624 swapFree=67108764/67108860
[pid=9699] ppid=9696 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122241140 9740288 345 18446744073709551615 4194304 5098028 140732356526752 140732356524856 140363188978300 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9383936 140732356534649 140732356534853 140732356534853 140732356538347 0
/proc/9699/statm: 2378 345 289 221 0 87 0
[pid=9701] ppid=9699 vsize=13980732 memory=71508 CPUtime=2.12 cores=0,2,4,6
/proc/9701/stat : 9701 (java) S 9699 9699 4674 0 -1 1077944320 15499 0 0 0 206 6 0 0 20 0 15 0 122241148 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 140730750509136 139814322818807 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
/proc/9701/statm: 3495183 17877 3182 1 0 3483476 0
[pid=9701/tid=9702] ppid=9699 vsize=13980732 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/9701/task/9702/stat : 9702 (java) R 9699 9699 4674 0 -1 4202560 8525 0 0 0 79 3 0 0 20 0 15 0 122241149 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 139814327055872 139813956544956 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9703] ppid=9699 vsize=13980732 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9703/stat : 9703 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 139814279784976 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9704] ppid=9699 vsize=13980732 memory=140131250087552 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9704/stat : 9704 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 139814278732432 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9705] ppid=9699 vsize=13980732 memory=179959129711674 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9705/stat : 9705 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 139814277679376 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9706] ppid=9699 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9706/stat : 9706 (java) S 9699 9699 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 139814276626832 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9707] ppid=9699 vsize=13980732 memory=3828261628493258674 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9707/stat : 9707 (java) S 9699 9699 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122241151 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 139813666675440 139814322829954 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9708] ppid=9699 vsize=13980732 memory=3760822581024273457 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9708/stat : 9708 (java) S 9699 9699 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122241151 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 139813665621664 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9709] ppid=9699 vsize=13980732 memory=7380100609978165352 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9709/stat : 9709 (java) S 9699 9699 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122241151 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 139813664568560 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9710] ppid=9699 vsize=13980732 memory=5859291005850828899 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9710/stat : 9710 (java) S 9699 9699 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122241154 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 139813663517136 139814322837403 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9711] ppid=9699 vsize=13980732 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/9701/task/9711/stat : 9711 (java) R 9699 9699 4674 0 -1 4202560 2799 0 0 0 48 0 0 0 20 0 15 0 122241154 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 139813662450120 139814304363472 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9712] ppid=9699 vsize=13980732 memory=288287792113647639 CPUtime=0.47 cores=0,2,4,6
/proc/9701/task/9712/stat : 9712 (java) R 9699 9699 4674 0 -1 4202560 1285 0 0 0 47 0 0 0 20 0 15 0 122241154 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 139813661397160 139814306312985 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9713] ppid=9699 vsize=13980732 memory=140131251047197 CPUtime=0.3 cores=0,2,4,6
/proc/9701/task/9713/stat : 9713 (java) S 9699 9699 4674 0 -1 1077944384 1583 0 0 0 30 0 0 0 20 0 15 0 122241154 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 139813660358640 139814322829954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9714] ppid=9699 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9714/stat : 9714 (java) S 9699 9699 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122241154 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 139813659306336 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9715] ppid=9699 vsize=13980732 memory=140131250087552 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9715/stat : 9715 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241162 14316269568 17877 18446744073709551615 4194304 4196468 140730750526592 139813658254384 139814322829954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
Current children cumulated CPU time: 2.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 72888 KiB
[startup+1.11048 s]
/proc/loadavg: 2.09 2.06 2.00 6/215 9715
/proc/meminfo: memFree=30726868/32770624 swapFree=67108764/67108860
[pid=9699] ppid=9696 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122241140 9740288 345 18446744073709551615 4194304 5098028 140732356526752 140732356524856 140363188978300 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9383936 140732356534649 140732356534853 140732356534853 140732356538347 0
/proc/9699/statm: 2378 345 289 221 0 87 0
[pid=9701] ppid=9699 vsize=13980732 memory=76768 CPUtime=2.45 cores=0,2,4,6
/proc/9701/stat : 9701 (java) S 9699 9699 4674 0 -1 1077944320 16342 0 0 0 239 6 0 0 20 0 15 0 122241148 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 140730750509136 139814322818807 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
/proc/9701/statm: 3495183 19192 3182 1 0 3483476 0
[pid=9701/tid=9702] ppid=9699 vsize=13980732 memory=280262185454728 CPUtime=0.92 cores=0,2,4,6
/proc/9701/task/9702/stat : 9702 (java) R 9699 9699 4674 0 -1 4202560 8527 0 0 0 89 3 0 0 20 0 15 0 122241149 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 139814327055344 139813956726887 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9703] ppid=9699 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9703/stat : 9703 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 139814279784976 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9704] ppid=9699 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9704/stat : 9704 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 139814278732432 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9705] ppid=9699 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9705/stat : 9705 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 139814277679376 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9706] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9706/stat : 9706 (java) S 9699 9699 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122241149 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 139814276626832 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9707] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9707/stat : 9707 (java) S 9699 9699 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122241151 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 139813666675440 139814322829954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9708] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9708/stat : 9708 (java) S 9699 9699 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122241151 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 139813665621664 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9709] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9709/stat : 9709 (java) S 9699 9699 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122241151 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 139813664568560 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9710] ppid=9699 vsize=13980732 memory=280262185599088 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9710/stat : 9710 (java) S 9699 9699 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122241154 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 139813663517136 139814322837403 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9711] ppid=9699 vsize=13980732 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/9701/task/9711/stat : 9711 (java) R 9699 9699 4674 0 -1 4202560 2900 0 0 0 58 0 0 0 20 0 15 0 122241154 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 139813662453840 139814307697323 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9712] ppid=9699 vsize=13980732 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/9701/task/9712/stat : 9712 (java) R 9699 9699 4674 0 -1 4202560 1955 0 0 0 56 1 0 0 20 0 15 0 122241154 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 139813661397160 139814304343833 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9713] ppid=9699 vsize=13980732 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/9701/task/9713/stat : 9713 (java) S 9699 9699 4674 0 -1 1077944384 1653 0 0 0 33 0 0 0 20 0 15 0 122241154 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 139813660358640 139814322829954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9714] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9714/stat : 9714 (java) S 9699 9699 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122241154 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 139813659306336 139814322829013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
[pid=9701/tid=9715] ppid=9699 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9701/task/9715/stat : 9715 (java) S 9699 9699 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122241162 14316269568 19192 18446744073709551615 4194304 4196468 140730750526592 139813658254384 139814322829954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140730750534065 140730750534241 140730750534241 140730750537679 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 78148 KiB
Child status: 0
Real time (s): 1.13218
CPU time (s): 2.49138
CPU user time (s): 2.42014
CPU system time (s): 0.07124
CPU usage (%): 220.051
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 78148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.42014
system time used= 0.07124
maximum resident set size= 77604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1521
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 9699
# total CPU time (s): 2.49138
# total CPU user time (s): 2.42014
# total CPU system time (s): 0.07124
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025446 second user time and 0.061495 second system time
The end